Symbol: event_remove_handler_xcall
sys/arch/xen/xen/evtchn.c
1069
event_remove_handler_xcall((void *)(intptr_t)evtch, ih);
sys/arch/xen/xen/evtchn.c
1071
uint64_t where = xc_unicast(0, event_remove_handler_xcall,