NPTEPG
pteindex = (va >> PAGE_SHIFT) & (NPTEPG-1);
#define NUPTE_TOTAL ((vm_pindex_t)NPTEPG * NUPT_TOTAL)
#define NUPTE_USER ((vm_pindex_t)NPTEPG * NPDEPG * NPDPEPG * NUPDP_USER)
NPDPEPG - 1, MPPTDI, NPTEPG - 1)
ASSYM(NPTEPG, NPTEPG);
static pt_entry_t fakept[NPTEPG];
lpdpttl += PAGE_SIZE * NPTEPG;
for (k = 0; k < NPTEPG; k++) {
for (k = 0; k < NPTEPG; k++) {
kernel_vm_end = (kernel_vm_end + PAGE_SIZE * NPTEPG) &
~(vm_offset_t)(PAGE_SIZE * NPTEPG - 1);
kstart = rounddown2(kstart, (vm_offset_t)(PAGE_SIZE * NPTEPG));
kend = roundup2(kend, (vm_offset_t)(PAGE_SIZE * NPTEPG));
kstart = (kstart + PAGE_SIZE * NPTEPG) &
~(vm_offset_t)(PAGE_SIZE * NPTEPG - 1);
kstart = (kstart + PAGE_SIZE * NPTEPG) &
~(vm_offset_t)(PAGE_SIZE * NPTEPG - 1);
nkpt_base = (NPDPEPG - KPDPI) * NPTEPG; /* typically 2 x 512 */
#define NDMPDPE NPTEPG /* number of dmap PDPE slots */
pindex = ptepindex & (NPTEPG - 1);
rounddown2(kernel_vm_end + PAGE_SIZE * NPTEPG,
PAGE_SIZE * NPTEPG);
addr = roundup2(addr, PAGE_SIZE * NPTEPG);
rounddown2(kernel_vm_end + PAGE_SIZE * NPTEPG,
PAGE_SIZE * NPTEPG);
rounddown2(kernel_vm_end + PAGE_SIZE * NPTEPG,
PAGE_SIZE * NPTEPG);