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

/external/valgrind/include/vki/
H A Dvki-xen-domctl.h121 #define VKI_XEN_DOMCTL_set_vcpu_msrs 73 macro
/external/valgrind/coregrind/m_syswrap/
H A Dsyswrap-xen.c1268 case VKI_XEN_DOMCTL_set_vcpu_msrs:
1848 case VKI_XEN_DOMCTL_set_vcpu_msrs:

Completed in 37 milliseconds