Searched defs:vki_xen_ioctl_evtchn_notify (Results 1 – 1 of 1) sorted by relevance
3369 struct vki_xen_ioctl_evtchn_notify { struct3370 vki_uint32_t port;