CPU_MMU_IDX
(sfmmup->sfmmu_ctxs[CPU_MMU_IDX(CPU)].cnum
CPU_MMU_IDX(cp) = info.mmu_idx;
ASSERT(!ret || scsfmmup->sfmmu_ctxs[CPU_MMU_IDX(CPU)].cnum
cnum = sfmmup->sfmmu_ctxs[CPU_MMU_IDX(CPU)].cnum;
ld [scr + CPU_MMU_IDX], cnum; /* cnum = mmuid */ \
info->mmu_idx = CPU_MMU_IDX(cp);