pl2_i
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) {
L2e_idx = pl2_i(startva);
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);
L2e_idx = pl2_i(startva);
L2e_idx = pl2_i(startva);
pde = &L2_BASE[pl2_i(kva)];
pde = &L2_BASE[pl2_i(kva)];
pde = &L2_BASE[pl2_i(kva)];
idx = pl2_i(va);