ARMADAXP_MLMB_MPIC_CTRL
((MPIC_READ(ARMADAXP_MLMB_MPIC_CTRL) >> 2) & 0x7FF);
ctrl = MPIC_READ(ARMADAXP_MLMB_MPIC_CTRL);
MPIC_WRITE(ARMADAXP_MLMB_MPIC_CTRL, ctrl);