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

  /external/valgrind/include/vki/
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/
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);
    [all...]

Completed in 575 milliseconds