PT_PADDR_LGPG
mfn = mmu_btop(pte & PT_PADDR_LGPG);
PT_PADDR_LGPG);
pte &= PT_PADDR_LGPG;
pte &= PT_PADDR_LGPG;
*pap = kdi_mtop(pte & PT_PADDR_LGPG);
mmu_btop(PTE_GET((p), PTE_IS_LGPG((p), (l)) ? PT_PADDR_LGPG : PT_PADDR))
x86pte_t pfn_mask = (l != 0) ? PT_PADDR_LGPG : PT_PADDR;