Lines Matching defs:evtchn_port_t
40 typedef uint32_t evtchn_port_t;
41 DEFINE_XEN_GUEST_HANDLE(evtchn_port_t);
56 evtchn_port_t port;
73 evtchn_port_t remote_port;
75 evtchn_port_t local_port;
97 evtchn_port_t port;
114 evtchn_port_t port;
128 evtchn_port_t port;
140 evtchn_port_t port;
151 evtchn_port_t port;
167 evtchn_port_t port;
183 evtchn_port_t port;
206 evtchn_port_t port;
218 evtchn_port_t port;