MPIC_CPU
MPIC_CPU_WRITE(mv_mpic_sc, MPIC_CPU(cpu) + MPIC_LOCAL_MASK,
MPIC_CPU(cpu) + MPIC_LOCAL_MASK));
MPIC_CPU(cpu) + MPIC_ICM, nb);
MPIC_CPU(cpu) + MPIC_ISM, nb);