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

/external/valgrind/include/vki/
H A Dvki-xen-domctl.h90 #define VKI_XEN_DOMCTL_get_ext_vcpucontext 43 macro
/external/valgrind/coregrind/m_syswrap/
H A Dsyswrap-xen.c1064 case VKI_XEN_DOMCTL_get_ext_vcpucontext:
1077 VG_(dmsg)("WARNING: VKI_XEN_DOMCTL_get_ext_vcpucontext domctl version %#"
2021 case VKI_XEN_DOMCTL_get_ext_vcpucontext:

Completed in 42 milliseconds