Searched refs:evtchn_get (Results 1 – 4 of 4) sorted by relevance
56 int evtchn_get(unsigned int evtchn);
418 if (evtchn_get(op.event_channel_port)) { in gntalloc_ioctl_unmap_notify()
707 if (evtchn_get(op.event_channel_port)) in gntdev_ioctl_notify()
1166 int evtchn_get(unsigned int evtchn) in evtchn_get() function1197 EXPORT_SYMBOL_GPL(evtchn_get);