PT_PADDR
mfn = mmu_btop(pte & PT_PADDR);
paddr = mdb_ma_to_pa(pte & PT_PADDR);
pte &= PT_PADDR;
pte &= PT_PADDR;
(PT_PADDR | PT_NX | PT_WRITABLE | PT_WRITETHRU | \
*pap = kdi_mtop(pte & PT_PADDR);
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;
if (expect != 0 && (oldpte & PT_PADDR) != (expect & PT_PADDR))
if (expect != 0 && (oldpte & PT_PADDR) != (expect & PT_PADDR))
*pfnp = (pte & PT_PADDR) >> PAGESHIFT;
*pfnp = (pte & PT_PADDR) >> PAGESHIFT;