Home
last modified time | relevance | path

Searched refs:evtchn_get (Results 1 – 4 of 4) sorted by relevance

/Linux-v4.19/include/xen/
Devents.h57 int evtchn_get(unsigned int evtchn);
/Linux-v4.19/drivers/xen/
Dgntalloc.c421 if (evtchn_get(op.event_channel_port)) { in gntalloc_ioctl_unmap_notify()
Dgntdev.c793 if (evtchn_get(op.event_channel_port)) in gntdev_ioctl_notify()
/Linux-v4.19/drivers/xen/events/
Devents_base.c1155 int evtchn_get(unsigned int evtchn) in evtchn_get() function
1186 EXPORT_SYMBOL_GPL(evtchn_get);