linux/drivers/cpuidle/cpuidle-big_little.c
<<