linux-stable/drivers/cpuidle/cpuidle-psci.h