Searched refs:tsc_khz (Results 1 – 5 of 5) sorted by relevance
152 u64 tsc_khz; in main() 190 tsc_khz = __vcpu_ioctl(vcpu, KVM_GET_TSC_KHZ, NULL); in main() 191 TEST_ASSERT(tsc_khz != -1, "vcpu ioctl KVM_GET_TSC_KHZ failed"); in main() 194 vcpu_ioctl(vcpu, KVM_SET_TSC_KHZ, (void *) (tsc_khz / l1_scale_factor)); in main() 158 u64 tsc_khz; main() local
22 #define DMAR_OPERATION_TIMEOUT ((cycles_t) tsc_khz*10*1000)
64 __u32 tsc_khz; member
1227 do_div(pcstate_count, tsc_khz); in pmc_core_pkgc_show()
8345 if (tsc_khz) in vmx_setup_preemption_timer()8346 use_timer_freq = (u64)tsc_khz * 1000; in vmx_setup_preemption_timer()