Lines Matching defs:evtchn_port_t
15 typedef u32 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;
222 evtchn_port_t port;