Searched refs:event_channel_port (Results 1 – 4 of 4) sorted by relevance
76 __u32 event_channel_port; member
144 __u32 event_channel_port; member
418 if (evtchn_get(op.event_channel_port)) { in gntalloc_ioctl_unmap_notify()429 gref->notify.event = op.event_channel_port; in gntalloc_ioctl_unmap_notify()
707 if (evtchn_get(op.event_channel_port)) in gntdev_ioctl_notify()712 out_event = op.event_channel_port; in gntdev_ioctl_notify()737 map->notify.event = op.event_channel_port; in gntdev_ioctl_notify()