Lines Matching refs:evtchn_port_t
15 typedef uint32_t evtchn_port_t;
16 DEFINE_GUEST_HANDLE(evtchn_port_t);
31 evtchn_port_t port;
47 evtchn_port_t remote_port;
49 evtchn_port_t local_port;
66 evtchn_port_t port;
82 evtchn_port_t port;
95 evtchn_port_t port;
106 evtchn_port_t port;
116 evtchn_port_t port;
131 evtchn_port_t port;
147 evtchn_port_t port;
167 evtchn_port_t port;
178 evtchn_port_t port;
223 evtchn_port_t port;