Symbol: arch_cpu_idle_exit
drivers/firmware/psci/psci_checker.c
267
arch_cpu_idle_exit();
include/linux/cpu.h
178
void arch_cpu_idle_exit(void);
kernel/sched/idle.c
355
arch_cpu_idle_exit();