Searched defs:vki_xen_sysctl_getdomaininfolist_00000008 (Results 1 – 1 of 1) sorted by relevance
63 struct vki_xen_sysctl_getdomaininfolist_00000008 { struct65 vki_xen_domid_t first_domain;66 vki_uint32_t max_domains;69 vki_uint32_t num_domains;