Searched refs:event_channel_port (Results 1 – 4 of 4) sorted by relevance
76 __u32 event_channel_port; member
146 __u32 event_channel_port; member
410 if (evtchn_get(op.event_channel_port)) { in gntalloc_ioctl_unmap_notify()421 gref->notify.event = op.event_channel_port; in gntalloc_ioctl_unmap_notify()
869 if (evtchn_get(op.event_channel_port)) in gntdev_ioctl_notify()874 out_event = op.event_channel_port; in gntdev_ioctl_notify()899 map->notify.event = op.event_channel_port; in gntdev_ioctl_notify()