Searched defs:gtsc_khz (Results 1 – 5 of 5) sorted by relevance
2070 uint64_t *elapsed_nsec, uint32_t *gtsc_khz, in tsc_get_info()2129 uint32_t gtsc_khz, uint32_t incarnation) in tsc_set_info()
869 uint32_t gtsc_khz, in xc_domain_set_tsc_info()886 uint32_t *gtsc_khz, in xc_domain_get_tsc_info()
41 uint32_t gtsc_khz; /* Guest's TSC frequency in kHz */ member
350 u64 hvm_get_tsc_scaling_ratio(u32 gtsc_khz) in hvm_get_tsc_scaling_ratio()
720 uint32_t gtsc_khz; member
Completed in 24 milliseconds