MPIC_IN_DRBL
val = MPIC_CPU_READ(mv_mpic_sc, MPIC_IN_DRBL);
MPIC_CPU_WRITE(mv_mpic_sc, MPIC_IN_DRBL, ~(1 << ipi));