acpi_cpu_usage_sysctl
(void *)sc, 0, acpi_cpu_usage_sysctl, "A",
static int acpi_cpu_usage_sysctl(SYSCTL_HANDLER_ARGS);