Home
last modified time | relevance | path

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

/Linux-v5.10/include/xen/
Devents.h71 int evtchn_get(evtchn_port_t evtchn);
/Linux-v5.10/drivers/xen/
Dgntalloc.c421 if (evtchn_get(op.event_channel_port)) { in gntalloc_ioctl_unmap_notify()
Dgntdev.c671 if (evtchn_get(op.event_channel_port)) in gntdev_ioctl_notify()
/Linux-v5.10/drivers/xen/events/
Devents_base.c1470 int evtchn_get(evtchn_port_t evtchn) in evtchn_get() function
1501 EXPORT_SYMBOL_GPL(evtchn_get);