cpld_fan_sysctl
static int cpld_fan_sysctl(SYSCTL_HANDLER_ARGS);
CPLD_REG_FAN1_TACHO_U, cpld_fan_sysctl, "I",
CPLD_REG_FAN2_TACHO_U, cpld_fan_sysctl, "I",
CPLD_REG_FAN3_TACHO_U, cpld_fan_sysctl, "I",
cpld_fan_sysctl, "I", "CPU Fan speed in RPM");
static int cpld_fan_sysctl(SYSCTL_HANDLER_ARGS);