Symbol: acpi_timer_sysctl_freq
sys/dev/acpica/acpi_timer.c
347
acpi_timer_sysctl_freq, "I",
sys/dev/acpica/acpi_timer.c
79
static int acpi_timer_sysctl_freq(SYSCTL_HANDLER_ARGS);