/* * pl*_i: generate index into pde/pte arrays in virtual space * * pl_i(va, X) == plX_i(va) <= pl_i_roundup(va, X) */