PTE_4KFRAME
#define PTE_FRAME PTE_4KFRAME
pa = (*ptp & PTE_4KFRAME) | ((vaddr_t)table & ~PTE_4KFRAME);
#define PTE_FRAME PTE_4KFRAME
#define PTE_FRAME PTE_4KFRAME
return (xpmap_ptom_masked(ppa) | (ppa & ~PTE_4KFRAME));
return (xpmap_mtop_masked(mpa) | (mpa & ~PTE_4KFRAME));
addr = xpmap_mtop((paddr_t)L2[pl2_pi(page)] & PTE_4KFRAME);
*pap = (pte & PTE_4KFRAME) | (va & (NBPD_L1 - 1));