NBPD_L3
if (va < NBPD_L3) {
ndmpdp = (max_pa + NBPD_L3 - 1) >> L3_SHIFT;
(uint64_t)i * NBPD_L3 +
#define L2_BASE ((pd_entry_t *)((char *)L1_BASE + L4_SLOT_PTE * NBPD_L3))
#define NBPD_INITIALIZER { NBPD_L1, NBPD_L2, NBPD_L3, NBPD_L4 }