Symbol: __psci_enter_domain_idle_state
drivers/cpuidle/cpuidle-psci.c
112
return __psci_enter_domain_idle_state(dev, drv, idx, false);
drivers/cpuidle/cpuidle-psci.c
119
return __psci_enter_domain_idle_state(dev, drv, idx, true);