linux/tools/power/cpupower/debug
..
i386
kernel
x86_64