evtchn_get       1187 drivers/xen/events/events_base.c EXPORT_SYMBOL_GPL(evtchn_get);
evtchn_get        421 drivers/xen/gntalloc.c 		if (evtchn_get(op.event_channel_port)) {
evtchn_get        782 drivers/xen/gntdev.c 		if (evtchn_get(op.event_channel_port))
evtchn_get         58 include/xen/events.h int evtchn_get(unsigned int evtchn);