HomeSort by relevance Sort by last modified time
    Searched refs:vki_xen_domctl_getdomaininfo_00000009_t (Results 1 - 2 of 2) sorted by null

  /external/valgrind/main/include/vki/
vki-xen-sysctl.h 84 VKI_XEN_GUEST_HANDLE_64(vki_xen_domctl_getdomaininfo_00000009_t) buffer;
vki-xen-domctl.h 156 typedef struct vki_xen_domctl_getdomaininfo_00000009 vki_xen_domctl_getdomaininfo_00000009_t; typedef in typeref:struct:vki_xen_domctl_getdomaininfo_00000009
157 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_getdomaininfo_00000009_t); variable

Completed in 270 milliseconds