linux/arch/ia64/kernel/cpufreq
..
acpi-cpufreq.c
Kconfig
Makefile