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