Symbol: arm_dflt_irq
sys/arch/arm64/arm64/intr.c
49
void arm_dflt_irq(void *);
sys/arch/arm64/arm64/intr.c
77
void (*arm_irq_dispatch)(void *) = arm_dflt_irq;