Home
last modified time | relevance | path

Searched refs:gtsc_khz (Results 1 – 2 of 2) sorted by relevance

/external/valgrind/include/vki/
Dvki-xen-domctl.h350 vki_uint32_t gtsc_khz; member
367 vki_uint32_t gtsc_khz; member
/external/valgrind/coregrind/m_syswrap/
Dsyswrap-xen.c914 __PRE_XEN_DOMCTL_READ(settscinfo, tsc_info_00000007, info.gtsc_khz); in PRE()
920 __PRE_XEN_DOMCTL_READ(settscinfo, tsc_info_0000000b, gtsc_khz); in PRE()
1873 __POST_XEN_DOMCTL_WRITE(gettscinfo, tsc_info_0000000b, gtsc_khz); in POST()