Symbol: gicv5_irs_wait_for_irs_pe
drivers/irqchip/irq-gic-v5-irs.c
438
return gicv5_irs_wait_for_irs_pe(irs_data, true);
drivers/irqchip/irq-gic-v5-irs.c
443
return gicv5_irs_wait_for_irs_pe(irs_data, false);