Symbol: arm_dflt_intr
sys/arch/armv7/armv7/intr.c
47
void arm_dflt_intr(void *);
sys/arch/armv7/armv7/intr.c
63
void (*arm_intr_dispatch)(void *) = arm_dflt_intr;