Symbol: intr_event_resume_handler
sys/sys/interrupt.h
189
int intr_event_resume_handler(void *cookie);
sys/x86/x86/nexus.c
509
return (intr_event_resume_handler(rman_get_irq_cookie(irq)));