xen_evtchn_close  551 drivers/xen/events/events_base.c 	xen_evtchn_close(evtchn);
xen_evtchn_close  572 drivers/xen/events/events_base.c 	xen_evtchn_close(evtchn);
xen_evtchn_close  616 drivers/xen/events/events_base.c 		xen_evtchn_close(evtchn);