Symbol: aplintc_irq_handler
sys/arch/arm64/dev/aplintc.c
178
void aplintc_irq_handler(void *);
sys/arch/arm64/dev/aplintc.c
277
aplintc_setipl, aplintc_irq_handler, aplintc_fiq_handler,