Lines Matching refs:evtchn_port_t

82 typedef uint32_t evtchn_port_t;  typedef
83 DEFINE_XEN_GUEST_HANDLE(evtchn_port_t);
97     evtchn_port_t port;
124     evtchn_port_t remote_port;
126     evtchn_port_t local_port;
147     evtchn_port_t port;
163     evtchn_port_t port;
176     evtchn_port_t port;
187     evtchn_port_t port;
197     evtchn_port_t port;
212     evtchn_port_t port;
228             evtchn_port_t port;
250     evtchn_port_t port;
261     evtchn_port_t port;
313     evtchn_port_t port;