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
421 if (evtchn_get(op.event_channel_port)) { in gntalloc_ioctl_unmap_notify()432 gref->notify.event = op.event_channel_port; in gntalloc_ioctl_unmap_notify()
793 if (evtchn_get(op.event_channel_port)) in gntdev_ioctl_notify()798 out_event = op.event_channel_port; in gntdev_ioctl_notify()823 map->notify.event = op.event_channel_port; in gntdev_ioctl_notify()
