Symbol: arm_dflt_intr_disestablish
sys/arch/armv7/armv7/intr.c
44
void arm_dflt_intr_disestablish(void *cookie);
sys/arch/armv7/armv7/intr.c
59
arm_dflt_intr_disestablish,