PML4SHIFT
_Static_assert(PML4SHIFT == AMD64_PML4SHIFT, "PML4SHIFT mismatch");
ASSYM(PML4SHIFT, PML4SHIFT);
return (NUPDE + NUPDPE + (va >> PML4SHIFT));
#define NBPML4 (1UL<<PML4SHIFT)/* bytes/page map lev4 table */
((unsigned long)(l4) << PML4SHIFT) | \
((unsigned long)(l4) << PML4SHIFT) | \
return ((va >> PML4SHIFT) & ((1ul << NPML4EPGSHIFT) - 1));
shift = PML4SHIFT;