MPIC_LOCAL_MASK
MPIC_CPU_WRITE(mv_mpic_sc, MPIC_CPU(cpu) + MPIC_LOCAL_MASK,
MPIC_CPU(cpu) + MPIC_LOCAL_MASK));