Symbol: gicv3_irq_handler
sys/arch/arm/acpi/gicv3_acpi.c
140
arm_fdt_irq_set_handler(gicv3_irq_handler);
sys/arch/arm/cortex/gicv3.h
94
void gicv3_irq_handler(void *);
sys/arch/arm/fdt/gicv3_fdt.c
197
arm_fdt_irq_set_handler(gicv3_irq_handler);