Symbol: psci_idle_syscore_switch
drivers/cpuidle/cpuidle-psci.c
182
psci_idle_syscore_switch(true);
drivers/cpuidle/cpuidle-psci.c
188
psci_idle_syscore_switch(false);