arch_cpu_idle_exit  266 drivers/firmware/psci/psci_checker.c 	arch_cpu_idle_exit();
arch_cpu_idle_exit  187 include/linux/cpu.h void arch_cpu_idle_exit(void);
arch_cpu_idle_exit  265 kernel/sched/idle.c 		arch_cpu_idle_exit();