MPIC_READ
((MPIC_READ(ARMADAXP_MLMB_MPIC_CTRL) >> 2) & 0x7FF);
ctrl = MPIC_READ(ARMADAXP_MLMB_MPIC_CTRL);
tmp = MPIC_READ(ARMADAXP_MLMB_MPIC_ISCR_BASE + is->is_irq * 4);
reg = MPIC_READ(ARMADAXP_MLMB_MPIC_ERR_CAUSE);