Searched refs:average_cpufreq (Results 1 – 1 of 1) sorted by relevance
370 int average_cpufreq; in show_cpufreq_by_cpuid() local372 ret = get_avgfreq_by_cpuid(xc_handle, cpuid, &average_cpufreq); in show_cpufreq_by_cpuid()377 printf("average cpu frequency: %d\n", average_cpufreq); in show_cpufreq_by_cpuid()
Completed in 4 milliseconds