Symbol: gicv5_hwirq_eoi