Searched refs:gtsc_khz (Results 1 - 2 of 2) sorted by relevance
| /external/valgrind/include/vki/ | ||
| H A D | vki-xen-domctl.h | 350 vki_uint32_t gtsc_khz; member in struct:vki_xen_guest_tsc_info 367 vki_uint32_t gtsc_khz; member in struct:vki_xen_domctl_tsc_info_0000000b |
| /external/valgrind/coregrind/m_syswrap/ | ||
| H A D | syswrap-xen.c | 914 __PRE_XEN_DOMCTL_READ(settscinfo, tsc_info_00000007, info.gtsc_khz); 920 __PRE_XEN_DOMCTL_READ(settscinfo, tsc_info_0000000b, gtsc_khz); 1873 __POST_XEN_DOMCTL_WRITE(gettscinfo, tsc_info_0000000b, gtsc_khz); |
Completed in 128 milliseconds