Searched defs:gtsc_khz (Results 1 - 1 of 1) sorted by relevance

/external/valgrind/include/vki/
H A Dvki-xen-domctl.h288 vki_uint32_t gtsc_khz; member in struct:vki_xen_guest_tsc_info

Completed in 721 milliseconds