linux/drivers/cpufreq/ia64-acpi-cpufreq.c
<<