MMU_DTE_PA
dtbl = mmu_ptov(MMU_DTE_PA(dte[i]));
*c_tbl = mmuC2tmgr(mmu_ptov(MMU_DTE_PA(*b_dte)));
c_tbl = (c_tmgr_t *) MMU_DTE_PA(b_tbl->bt_dtbl[b_idx]);
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));
mmu_ptov(MMU_DTE_PA(b_tbl->bt_dtbl[b_idx])));