NBPD_L1
#define L4_BASE ((pd_entry_t *)((char *)L3_BASE + L4_SLOT_PTE * NBPD_L1))
#define NBPD_INITIALIZER { NBPD_L1, NBPD_L2, NBPD_L3, NBPD_L4 }
pagesz = NBPD_L1;
#define L4_BASE ((pd_entry_t *)((char *)L3_BASE + L4_SLOT_PTE * NBPD_L1))
#define L2_BASE ((pd_entry_t *)((char *)L1_BASE + L2_SLOT_PTE * NBPD_L1))
#define NBPD_INITIALIZER { NBPD_L1, NBPD_L2 }
n += NBPD_L1;
va += NBPD_L1;
nL1e = pmap_pagetree_nentries_range(startva, endva, NBPD_L1);
pa = pmap_pte2pa(pte) | (va & (NBPD_L1 - 1));
pa = pmap_pte2pa(pte) | (va & (NBPD_L1 - 1));
*pap = (pte & PTE_4KFRAME) | (va & (NBPD_L1 - 1));
tester_ctx.results.n_rwx += (NBPD_L1 / PAGE_SIZE);
tester_ctx.results.n_shstk += (NBPD_L1 / PAGE_SIZE);