Searched refs:xpv_cpufreq_workaround (Results 1 – 1 of 1) sorted by relevance
1191 int xpv_cpufreq_workaround = 1; variable1237 if (DOMAIN_IS_INITDOMAIN(xen_info) && xpv_cpufreq_workaround) { in mach_getcpufreq()