pl2_pi
pde_pa = (cpu_kh->pdppaddr & PTE_FRAME) + (pl2_pi(va) * sizeof(pde));
pde_pa = (cpu_kh->pdppaddr & PTE_FRAME) + (pl2_pi(va) * sizeof(pde));
pde_pa = (pde & PTE_FRAME) + (pl2_pi(va) * sizeof(pd_entry_t));
if (!pmap_valid_entry(pdir[pl2_pi(va)])) {
pdir[pl2_pi(va)] = pa | pteflags;
pdir = (pt_entry_t *)((pdir[pl2_pi(va)] & PTE_FRAME) + KERNBASE);
while (pl2_pi(page) == pl2_pi(cur_page)) {
L2[pl2_pi(cur_page)] = xpmap_ptom_masked(addr) | PTE_W | PTE_P;
addr = xpmap_mtop((paddr_t)L2[pl2_pi(page)] & PTE_4KFRAME);