GICV5_HWIRQ_TYPE_SPI
gicv5_iri_irq_mask(d, GICV5_HWIRQ_TYPE_SPI);
gicv5_iri_irq_unmask(d, GICV5_HWIRQ_TYPE_SPI);
gicv5_hwirq_eoi(d->hwirq, GICV5_HWIRQ_TYPE_SPI);
GICV5_HWIRQ_TYPE_SPI);
GICV5_HWIRQ_TYPE_SPI);
gicv5_iri_irq_write_pending_state(d, state, GICV5_HWIRQ_TYPE_SPI);
case GICV5_HWIRQ_TYPE_SPI:
GICV5_HWIRQ_TYPE_SPI);
gicv5_hwirq_init(hwirq, GICV5_IRQ_PRI_MI, GICV5_HWIRQ_TYPE_SPI);
if (hwirq_type != GICV5_HWIRQ_TYPE_SPI)
case GICV5_HWIRQ_TYPE_SPI:
if (hwirq_type == GICV5_HWIRQ_TYPE_LPI || hwirq_type == GICV5_HWIRQ_TYPE_SPI) {
__ret = is_v5_type(GICV5_HWIRQ_TYPE_SPI, (i)); \