MPIC_BROKEN_IPI
if ((mpic->flags & MPIC_BROKEN_IPI) && type == mpic_access_mmio_le)
mpic->flags |= MPIC_BROKEN_IPI;