Searched refs:vki_xen_domctl_getdomaininfo_00000007 (Results 1 – 1 of 1) sorted by relevance
101 struct vki_xen_domctl_getdomaininfo_00000007 { struct117 typedef struct vki_xen_domctl_getdomaininfo_00000007 vki_xen_domctl_getdomaininfo_00000007_t; argument328 struct vki_xen_domctl_getdomaininfo_00000007 getdomaininfo_00000007;