Searched defs:vki_xen_sysctl_getdomaininfolist_0000000a (Results 1 – 1 of 1) sorted by relevance
80 struct vki_xen_sysctl_getdomaininfolist_0000000a { struct82 vki_xen_domid_t first_domain;83 vki_uint32_t max_domains;86 vki_uint32_t num_domains;