cpufreq_get_driver
char *cpufreq_get_driver(unsigned int cpu);
char *driver = cpufreq_get_driver(cpu);
char *driver = cpufreq_get_driver(0);