NBPD_L4
if (va < NBPD_L4) {
start_cur = (paddr_t)(curslot * NBPD_L4);
pml2[j] = curslot * NBPD_L4 +
#define PTE_BASE ((pt_entry_t *) (L4_SLOT_PTE * NBPD_L4))
#define PMAP_DIRECT_BASE (VA_SIGN_NEG((L4_SLOT_DIRECT * NBPD_L4)))
NUM_L4_SLOT_DIRECT) * NBPD_L4)))
#define NBPD_INITIALIZER { NBPD_L1, NBPD_L2, NBPD_L3, NBPD_L4 }