char *cpufreq_get_driver(unsigned int cpu) { if (cpu >= MAX_CPUS) { errno = ENOENT; return NULL; } return sysfs_get_freq_driver(cpu); }
char *cpufreq_get_driver(unsigned int cpu) { return sysfs_get_freq_driver(cpu); }