pwmclock_cpuspeed_temp
CTLTYPE_INT, "target", "CPU speed", pwmclock_cpuspeed_temp,
static int pwmclock_cpuspeed_temp(SYSCTLFN_ARGS);