mpic_access_mmio_le
mpic->reg_type = mpic_access_mmio_le;
case mpic_access_mmio_le:
if ((mpic->flags & MPIC_BROKEN_IPI) && type == mpic_access_mmio_le)