Home
last modified time | relevance | path

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

/OK3568_Linux_fs/kernel/include/xen/
H A Devents.h71 int evtchn_get(evtchn_port_t evtchn);
/OK3568_Linux_fs/kernel/drivers/xen/
H A Dgntalloc.c410 if (evtchn_get(op.event_channel_port)) { in gntalloc_ioctl_unmap_notify()
H A Dgntdev.c734 if (evtchn_get(op.event_channel_port)) in gntdev_ioctl_notify()
/OK3568_Linux_fs/kernel/drivers/xen/events/
H A Devents_base.c1526 int evtchn_get(evtchn_port_t evtchn) in evtchn_get() function
1557 EXPORT_SYMBOL_GPL(evtchn_get);