Symbol: pirq_interrupt
sys/arch/xen/xen/evtchn.c
121
int pirq_interrupt(void *);
sys/arch/xen/xen/evtchn.c
739
if (event_set_handler(evtch, pirq_interrupt, ih, level, intrname,
sys/arch/xen/xen/evtchn.c
754
int error = event_remove_handler(ih->evtch, pirq_interrupt, ih);