Searched refs:max_tsc_khz (Results 1 – 1 of 1) sorted by relevance
1012 static unsigned long max_tsc_khz; in set_tsc_khz() 6871 max_tsc_khz = tsc_khz;6881 max_tsc_khz = policy->cpuinfo.max_freq; in pvclock_gtod_notify() 9977 kvm->arch.default_tsc_khz = max_tsc_khz ? : tsc_khz; in __x86_set_memory_region() 981 static unsigned long max_tsc_khz; global() variable