evtchn_port_t      13 include/xen/interface/event_channel.h DEFINE_GUEST_HANDLE(evtchn_port_t);
evtchn_port_t      28 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t      44 include/xen/interface/event_channel.h 	evtchn_port_t remote_port;
evtchn_port_t      46 include/xen/interface/event_channel.h 	evtchn_port_t local_port;
evtchn_port_t      63 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t      79 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t      92 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t     103 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t     113 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t     128 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t     144 include/xen/interface/event_channel.h 			evtchn_port_t port;
evtchn_port_t     164 include/xen/interface/event_channel.h 	evtchn_port_t port;
evtchn_port_t     175 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;