L2_BASE
normal_pdes[0] = L2_BASE;
if (!pmap_valid_entry(L2_BASE[pl2_i(va)])) {
L2_BASE[pl2_i(va)] = pa | pteflags | PTE_PS |
L2_BASE[pl2_i(va)] = pa | pteflags;
} else if (L2_BASE[pl2_i(va)] & PTE_PS) {
if (!pmap_valid_entry(L2_BASE[pl2_i(va)])) {
L2_BASE[pl2_i(va)] = pa | pteflags | PTE_PS |
L2_BASE[pl2_i(va)] = pa | pteflags;
} else if (L2_BASE[pl2_i(va)] & PTE_PS) {
#define L3_BASE ((pd_entry_t *)((char *)L2_BASE + L4_SLOT_PTE * NBPD_L2))
#define PDES_INITIALIZER { L2_BASE, L3_BASE, L4_BASE }
if (mm_pte_is_valid(L2_BASE[L2e_idx+i])) {
L2_BASE[L2e_idx+i] = pa | PTE_P | PTE_W;
#define L3_BASE ((pd_entry_t *)((char *)L2_BASE + L4_SLOT_PTE * NBPD_L2))
#define PDP_PDE (L2_BASE + PDIR_SLOT_PTE)
#define PDP_BASE L2_BASE
#define PDES_INITIALIZER { L2_BASE }
pde = L2_BASE + pl2_i(va);
if (L2_BASE[pl2_i(va)] & PTE_PS) {
pte = L2_BASE[pl2_i(va)] & ~PTE_D;
pmap_pte_set(&L2_BASE[pl2_i(va)], pte);
KASSERT(L2_BASE[L2e_idx+i] == 0);
L2_BASE[L2e_idx+i] = pa | pteflags | PTE_A;
KASSERT(L2_BASE[L2e_idx+i] == 0);
L2_BASE[L2e_idx+i] = pa | holepteflags | PTE_A |
L2_BASE[L2e_idx+i] = pa | pteflags | PTE_A |
pde = &L2_BASE[pl2_i(kva)];
pde = &L2_BASE[pl2_i(kva)];
pde = &L2_BASE[pl2_i(kva)];
srcpde = L2_BASE;