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