/kernel/drivers/idle/

• ../
• Kconfig
• Makefile
• i7300_idle.c
• intel_idle.c