Lines Matching refs:evtchn_port_t

74 typedef uint32_t evtchn_port_t;  typedef
75 DEFINE_XEN_GUEST_HANDLE(evtchn_port_t);
89 	evtchn_port_t port;
116 	evtchn_port_t remote_port;
118 	evtchn_port_t local_port;
129 	evtchn_port_t port;
139 	evtchn_port_t port;
154 	evtchn_port_t port;
170 			evtchn_port_t port;
184 	evtchn_port_t port;
209 	evtchn_port_t port;