Searched refs:vki_xen_domctl_getdomaininfo_00000008_t (Results 1 - 2 of 2) sorted by relevance

/external/valgrind/include/vki/
H A Dvki-xen-sysctl.h76 VKI_XEN_GUEST_HANDLE_64(vki_xen_domctl_getdomaininfo_00000008_t) buffer;
H A Dvki-xen-domctl.h170 typedef struct vki_xen_domctl_getdomaininfo_00000008 vki_xen_domctl_getdomaininfo_00000008_t; typedef in typeref:struct:vki_xen_domctl_getdomaininfo_00000008
171 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_getdomaininfo_00000008_t); variable

Completed in 326 milliseconds