MPIC_CPU_READ
(1 << cpu) | MPIC_CPU_READ(mv_mpic_sc,
for (cause = MPIC_CPU_READ(sc, MPIC_PPI_CAUSE); cause > 0;
mask = MPIC_CPU_READ(mv_mpic_sc, MPIC_ERR_MASK);
mask = MPIC_CPU_READ(mv_mpic_sc, MPIC_ERR_MASK);
return (MPIC_CPU_READ(mv_mpic_sc, MPIC_IIACK));
val = MPIC_CPU_READ(mv_mpic_sc, MPIC_IN_DRBL);