ma_to_pa
table = ma_to_pa(pteval & MMU_PAGEMASK);
pa = ma_to_pa(pteval & MMU_PAGEMASK);
ma_to_pa(pteval & MMU_PAGEMASK);
pa1 = ma_to_pa(pteval & MMU_PAGEMASK);
if (!(old_pte & PT_VALID) || ma_to_pa(old_pte) == -1)
return (mmu_btop(ma_to_pa(old_pte)));
paddr_t ma_to_pa(maddr_t);