clear_evtchn      486 drivers/xen/events/events_base.c 		clear_evtchn(evtchn);
clear_evtchn      493 drivers/xen/events/events_base.c 		clear_evtchn(evtchn);
clear_evtchn     1380 drivers/xen/events/events_base.c 		clear_evtchn(evtchn);
clear_evtchn     1387 drivers/xen/events/events_base.c 		clear_evtchn(evtchn);
clear_evtchn     1505 drivers/xen/events/events_base.c 		clear_evtchn(evtchn);