OpenGrok
| Home | Sort by relevance Sort by last modified time |
Searched refs:gtsc_khz (Results 1 -
2 of 2) sorted by null
Completed in 439 milliseconds
| /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...] |
Completed in 439 milliseconds
