Searched refs:vki_xen_evtchn_port_t (Results 1 – 1 of 1) sorted by relevance
43 typedef vki_uint32_t vki_xen_evtchn_port_t; typedef44 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_evtchn_port_t);50 vki_xen_evtchn_port_t port;