Symbol: event_get_handler
sys/arch/xen/xen/evtchn.c
1189
evp = event_get_handler(intrid);
sys/arch/xen/xen/evtchn.c
1207
evp = event_get_handler(intrid);
sys/arch/xen/xen/evtchn.c
1221
evp = event_get_handler(intrid);