ARC_REG_MCIP_READBACK
ipi_was_pending = read_aux_reg(ARC_REG_MCIP_READBACK);
cpu = read_aux_reg(ARC_REG_MCIP_READBACK); /* 1,2,4,8... */
gfrc_halt_mask = read_aux_reg(ARC_REG_MCIP_READBACK);
mcip_mask = read_aux_reg(ARC_REG_MCIP_READBACK);
l = read_aux_reg(ARC_REG_MCIP_READBACK);
h = read_aux_reg(ARC_REG_MCIP_READBACK);
return read_aux_reg(ARC_REG_MCIP_READBACK);