gicv5_hwirq_eoi
gicv5_hwirq_eoi(d->hwirq, GICV5_HWIRQ_TYPE_PPI);
gicv5_hwirq_eoi(d->hwirq, GICV5_HWIRQ_TYPE_SPI);
gicv5_hwirq_eoi(d->hwirq, GICV5_HWIRQ_TYPE_LPI);
gicv5_hwirq_eoi(hwirq_id, hwirq_type);