Searched defs:gtsc_khz (Results 1 – 6 of 6) sorted by relevance
2338 uint64_t *elapsed_nsec, uint32_t *gtsc_khz, in tsc_get_info()2382 uint32_t gtsc_khz, uint32_t incarnation) in tsc_set_info()
832 uint32_t gtsc_khz, in xc_domain_set_tsc_info()849 uint32_t *gtsc_khz, in xc_domain_get_tsc_info()
1647 uint32_t gtsc_khz; in copy_tsc() local
43 uint32_t gtsc_khz; /* Guest's TSC frequency in kHz */ member
371 u64 hvm_get_tsc_scaling_ratio(u32 gtsc_khz) in hvm_get_tsc_scaling_ratio()
744 uint32_t gtsc_khz; member
Completed in 35 milliseconds