Searched refs:evtchn_get (Results 1 – 4 of 4) sorted by relevance
44 int evtchn_get(unsigned int evtchn);
417 if (evtchn_get(op.event_channel_port)) { in gntalloc_ioctl_unmap_notify()
1109 int evtchn_get(unsigned int evtchn) in evtchn_get() function1140 EXPORT_SYMBOL_GPL(evtchn_get);
625 if (evtchn_get(op.event_channel_port)) in gntdev_ioctl_notify()