Symbol: clear_evtchn
drivers/xen/events/events_base.c
1908
clear_evtchn(evtchn);
drivers/xen/events/events_base.c
793
clear_evtchn(info->evtchn);