event_channel_port  421 drivers/xen/gntalloc.c 		if (evtchn_get(op.event_channel_port)) {
event_channel_port  432 drivers/xen/gntalloc.c 	gref->notify.event = op.event_channel_port;
event_channel_port  782 drivers/xen/gntdev.c 		if (evtchn_get(op.event_channel_port))
event_channel_port  787 drivers/xen/gntdev.c 	out_event = op.event_channel_port;
event_channel_port  812 drivers/xen/gntdev.c 	map->notify.event = op.event_channel_port;
event_channel_port   76 include/uapi/xen/gntalloc.h 	__u32 event_channel_port;
event_channel_port  146 include/uapi/xen/gntdev.h 	__u32 event_channel_port;