Searched refs:get_cpu_tsc_khz (Results 1 – 1 of 1) sorted by relevance
3034 static unsigned long get_cpu_tsc_khz(void) in get_cpu_tsc_khz() function3067 kvm_get_time_scale(NSEC_PER_SEC, get_cpu_tsc_khz() * 1000LL, in __get_kvmclock()3175 tgt_tsc_khz = get_cpu_tsc_khz(); in kvm_guest_time_update()