cpufreq_curr_sysctl
static int cpufreq_curr_sysctl(SYSCTL_HANDLER_ARGS);
sc, 0, cpufreq_curr_sysctl, "I", "Current CPU frequency");