GI_FLAG_MSI_USED
if ((sc->gic_irqs[end_irq].gi_flags & GI_FLAG_MSI_USED) ==
GI_FLAG_MSI_USED) {
sc->gic_irqs[irq + i].gi_flags |= GI_FLAG_MSI_USED;
KASSERT((gi->gi_flags & GI_FLAG_MSI_USED) == GI_FLAG_MSI_USED,
gi->gi_flags &= ~GI_FLAG_MSI_USED;
if ((sc->gic_irqs[irq].gi_flags & GI_FLAG_MSI_USED) == 0)
sc->gic_irqs[irq].gi_flags |= GI_FLAG_MSI_USED;
KASSERT((gi->gi_flags & GI_FLAG_MSI_USED) == GI_FLAG_MSI_USED,
gi->gi_flags &= ~GI_FLAG_MSI_USED;
if ((sc->gic_irqs[end_irq].gi_flags & GI_FLAG_MSI_USED) ==
GI_FLAG_MSI_USED) {
sc->gic_irqs[irq + i].gi_flags |= GI_FLAG_MSI_USED;
KASSERT((gi->gi_flags & GI_FLAG_MSI_USED) == GI_FLAG_MSI_USED,
gi->gi_flags &= ~GI_FLAG_MSI_USED;
if ((sc->gic_irqs[irq].gi_flags & GI_FLAG_MSI_USED) == 0)
sc->gic_irqs[irq].gi_flags |= GI_FLAG_MSI_USED;
KASSERT((gi->gi_flags & GI_FLAG_MSI_USED) == GI_FLAG_MSI_USED,
gi->gi_flags &= ~GI_FLAG_MSI_USED;