acpi_thinkpad_sysctl
static int acpi_thinkpad_sysctl(SYSCTL_HANDLER_ARGS);
sc, i, acpi_thinkpad_sysctl, "IU",