Lines Matching defs:evtchn_port_t
14 typedef uint32_t evtchn_port_t;
15 DEFINE_GUEST_HANDLE(evtchn_port_t);
30 evtchn_port_t port;
46 evtchn_port_t remote_port;
48 evtchn_port_t local_port;
65 evtchn_port_t port;
81 evtchn_port_t port;
94 evtchn_port_t port;
105 evtchn_port_t port;
115 evtchn_port_t port;
130 evtchn_port_t port;
146 evtchn_port_t port;
166 evtchn_port_t port;
177 evtchn_port_t port;