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