Symbol: psci_cpu_deinit_idle
drivers/cpuidle/cpuidle-psci.c
420
psci_cpu_deinit_idle(cpu);
drivers/cpuidle/cpuidle-psci.c
452
psci_cpu_deinit_idle(cpu);