Searched refs:vki_xen_domctl_getdomaininfo_00000008_t (Results 1 - 2 of 2) sorted by relevance
/external/valgrind/include/vki/ | ||
H A D | vki-xen-sysctl.h | 76 VKI_XEN_GUEST_HANDLE_64(vki_xen_domctl_getdomaininfo_00000008_t) buffer; |
H A D | vki-xen-domctl.h | 170 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