mmu_vtop
pmap->pm_a_phys = mmu_vtop(a_tbl->at_dtbl);
a_dte->addr.raw = mmu_vtop(b_tbl->bt_dtbl);
b_dte->attr.raw = mmu_vtop(c_tbl->ct_dtbl);
static INLINE paddr_t mmu_vtop(void *);
kernAbase[i].addr.raw = mmu_vtop(&kernBbase[b]);
mmu_vtop(&kernCbase[c]) | MMU_DT_SHORT;
kernAphys = mmu_vtop(kernAbase);