Symbol: acpi_timer_sysctl_freq
sys/dev/acpica/acpi_timer.c
327
0, sizeof(u_int), acpi_timer_sysctl_freq, "I", "ACPI timer frequency");
sys/dev/acpica/acpi_timer.c
80
static int acpi_timer_sysctl_freq(SYSCTL_HANDLER_ARGS);