Searched refs:vki_xen_evtchn_port_t (Results 1 – 1 of 1) sorted by relevance
16 typedef vki_uint32_t vki_xen_evtchn_port_t; typedef17 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_evtchn_port_t);23 vki_xen_evtchn_port_t port;