Symbol: MPIC_IN_DRBL
sys/arm/mv/mpic.c
585
val = MPIC_CPU_READ(mv_mpic_sc, MPIC_IN_DRBL);
sys/arm/mv/mpic.c
588
MPIC_CPU_WRITE(mv_mpic_sc, MPIC_IN_DRBL, ~(1 << ipi));