mdb_ma_to_pa
paddr = mdb_ma_to_pa(pte &
paddr = mdb_ma_to_pa(pte & PT_PADDR);
if (mmu_btop(mdb_ma_to_pa(pte)) != pfn)