CPU_MMU_CTXP
mmu_ctxp = CPU_MMU_CTXP(CPU);
CPU_MMU_CTXP(cp) = mmu_ctxp;
mmu_ctxp = CPU_MMU_CTXP(cp);
CPU_MMU_CTXP(cp) = NULL;
if ((cp = cpu[id]) != NULL && CPU_MMU_CTXP(cp) != NULL) {
CPU_MMU_CTXP(cp) = NULL;
mmu_ctxp = CPU_MMU_CTXP(CPU);
if (CPU_MMU_CTXP(cp))
mmu_ctxp = CPU_MMU_CTXP(cp);
if (cp != NULL && CPU_MMU_CTXP(cp) != NULL) {