PDPSHIFT
_Static_assert(PDPSHIFT == AMD64_PDPSHIFT, "PDPSHIFT mismatch");
ASSYM(PDPSHIFT, PDPSHIFT);
return (NUPDE + (va >> PDPSHIFT));
ndm1g = ptoa(Maxmem) >> PDPSHIFT;
dmaplimit = (vm_paddr_t)ndmpdp << PDPSHIFT;
pdp_p[i] = (vm_paddr_t)i << PDPSHIFT;
j = rounddown2(kernphys, NBPDP) >> PDPSHIFT;
pdpg = pmap_alloc_pt_page(pmap, va >> PDPSHIFT,
pdpg->pindex = va >> PDPSHIFT;
#define NBPDP (1<<PDPSHIFT) /* bytes/page dir ptr table */
((unsigned long)(l3) << PDPSHIFT) | \
((unsigned long)(l3) << PDPSHIFT) | \
return ((va >> PDPSHIFT) & ((1ul << NPDPEPGSHIFT) - 1));