cpufreq_devctl     75 bsp/drv/dev/cpufreq/cpufreq.c static int cpufreq_devctl(device_t, u_long, void *);
cpufreq_devctl     85 bsp/drv/dev/cpufreq/cpufreq.c 	/* devctl */	cpufreq_devctl,