Searched defs:vki_xen_sysctl_getdomaininfolist_00000009 (Results 1 – 1 of 1) sorted by relevance
72 struct vki_xen_sysctl_getdomaininfolist_00000009 { struct74 vki_xen_domid_t first_domain;75 vki_uint32_t max_domains;78 vki_uint32_t num_domains;