Searched refs:evtchn_port_t (Results 1 – 2 of 2) sorted by relevance
15 typedef uint32_t evtchn_port_t; typedef16 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;[all …]
139 GUEST_HANDLE(evtchn_port_t) ports;