Searched refs:evtchn_get (Results 1 – 4 of 4) sorted by relevance
73 int evtchn_get(evtchn_port_t evtchn);
407 if (evtchn_get(op.event_channel_port)) { in gntalloc_ioctl_unmap_notify()
744 if (evtchn_get(op.event_channel_port)) in gntdev_ioctl_notify()
1592 int evtchn_get(evtchn_port_t evtchn) in evtchn_get() function1618 EXPORT_SYMBOL_GPL(evtchn_get);