evtchn_put       1196 drivers/xen/events/events_base.c EXPORT_SYMBOL_GPL(evtchn_put);
evtchn_put        193 drivers/xen/gntalloc.c 		evtchn_put(gref->notify.event);
evtchn_put        428 drivers/xen/gntalloc.c 		evtchn_put(gref->notify.event);
evtchn_put        249 drivers/xen/gntdev.c 		evtchn_put(map->notify.event);
evtchn_put        821 drivers/xen/gntdev.c 		evtchn_put(out_event);
evtchn_put         59 include/xen/events.h void evtchn_put(unsigned int evtchn);