Home | Sort by relevance Sort by last modified time |
/external/valgrind/include/vki/ | |
vki-xen-domctl.h | 346 vki_uint32_t gtsc_khz; member in struct:vki_xen_guest_tsc_info |
/external/valgrind/coregrind/m_syswrap/ | |
syswrap-xen.c | 820 __PRE_XEN_DOMCTL_READ(settscinfo, tsc_info, info.gtsc_khz); [all...] |