Searched refs:vki_xen_domctl_getdomaininfo_00000009 (Results 1 – 1 of 1) sorted by relevance
139 struct vki_xen_domctl_getdomaininfo_00000009 { struct156 typedef struct vki_xen_domctl_getdomaininfo_00000009 vki_xen_domctl_getdomaininfo_00000009_t; argument360 struct vki_xen_domctl_getdomaininfo_00000009 getdomaininfo_00000009;