mmuC2tmgr
c_tbl = mmuC2tmgr(dtbl);
*c_tbl = mmuC2tmgr(mmu_ptov(MMU_DTE_PA(*b_dte)));
c_tbl = mmuC2tmgr(c_pte);
c_tbl = mmuC2tmgr((mmu_short_pte_t *)c_tbl);
c_tbl = mmuC2tmgr(c_dte);
c_tbl = mmuC2tmgr(c_dte);
c_tbl = mmuC2tmgr(c_dte);
c_tbl = mmuC2tmgr(
static INLINE c_tmgr_t *mmuC2tmgr(mmu_short_pte_t *);