kernel-fxtec-pro1x/drivers/idle
..
intel_idle.c
Kconfig
Makefile