Symbol: agintc_irq_handler
sys/arch/arm64/dev/agintc.c
251
void agintc_irq_handler(void *);
sys/arch/arm64/dev/agintc.c
586
agintc_setipl, agintc_irq_handler, NULL,