mmu_ptov
dtbl = mmu_ptov(dte[i].addr.raw);
dtbl = mmu_ptov(MMU_DTE_PA(dte[i]));
*b_tbl = mmuB2tmgr(mmu_ptov(a_dte->addr.raw));
*c_tbl = mmuC2tmgr(mmu_ptov(MMU_DTE_PA(*b_dte)));
b_dte = mmu_ptov(a_dte->addr.raw);
c_pte = mmu_ptov(MMU_PTE_PA(*b_dte));
b_tbl = mmu_ptov((vaddr_t)b_tbl);
c_tbl = mmu_ptov((vaddr_t)c_tbl);
b_dte = mmu_ptov(a_dte->addr.raw);
b_dte = mmu_ptov(a_dte->addr.raw);
b_dte = mmu_ptov(a_dte->addr.raw);
c_dte = mmu_ptov(MMU_DTE_PA(*b_dte));
c_dte = mmu_ptov(MMU_DTE_PA(*b_dte));
c_dte = mmu_ptov(MMU_DTE_PA(*b_dte));
static INLINE void *mmu_ptov(paddr_t);
b_tbl = mmuB2tmgr(mmu_ptov(a_tbl->at_dtbl[a_idx].addr.raw));
mmu_ptov(MMU_DTE_PA(b_tbl->bt_dtbl[b_idx])));