L3_BASE
normal_pdes[1] = L3_BASE;
if (!pmap_valid_entry(L3_BASE[pl3_i(va)])) {
L3_BASE[pl3_i(va)] = pa | pteflags;
if (!pmap_valid_entry(L3_BASE[pl3_i(va)])) {
L3_BASE[pl3_i(va)] = pa | pteflags;
#define L4_BASE ((pd_entry_t *)((char *)L3_BASE + L4_SLOT_PTE * NBPD_L1))
#define PDES_INITIALIZER { L2_BASE, L3_BASE, L4_BASE }
if (mm_pte_is_valid(L3_BASE[L3e_idx+i])) {
L3_BASE[L3e_idx+i] = pa | PTE_P | PTE_W;
#define L4_BASE ((pd_entry_t *)((char *)L3_BASE + L4_SLOT_PTE * NBPD_L1))
KASSERT(L3_BASE[L3e_idx+i] == 0);
L3_BASE[L3e_idx+i] = pa | pteflags | PTE_A;
KASSERT(L3_BASE[L3e_idx+i] == 0);
L3_BASE[L3e_idx+i] = pa | pteflags | PTE_A;