NBPD_L4
if (va < NBPD_L4) {
pmap_direct_base = (VA_SIGN_NEG((L4_SLOT_DIRECT * NBPD_L4)));
((pmap_direct_rand & DIRECT_MAP_START_MASK) * NBPD_L4))));
start_cur = (paddr_t)(curslot * NBPD_L4);
pml2[j] = curslot * NBPD_L4 +
#define DIRECT_MAP_SIZE ((vaddr_t)DIRECT_MAP_PML4_SLOTS * NBPD_L4)
#define PTE_BASE ((pt_entry_t *) (L4_SLOT_PTE * NBPD_L4))
#define NBPD_INITIALIZER { NBPD_L1, NBPD_L2, NBPD_L3, NBPD_L4 }