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;