evtchn_port_t      15 include/xen/interface/event_channel.h DEFINE_GUEST_HANDLE(evtchn_port_t);
evtchn_port_t      30 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t      46 include/xen/interface/event_channel.h 	evtchn_port_t remote_port;
evtchn_port_t      48 include/xen/interface/event_channel.h 	evtchn_port_t local_port;
evtchn_port_t      65 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t      81 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t      94 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t     105 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t     115 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t     130 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t     146 include/xen/interface/event_channel.h 			evtchn_port_t port;
evtchn_port_t     166 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t     177 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t      61 include/xen/interface/sched.h     GUEST_HANDLE(evtchn_port_t) ports;