psci_smp_available
bool psci_smp_available(void);
if (psci_smp_available())
if (IS_ENABLED(CONFIG_ARM_TEGRA_CPUIDLE) && !psci_smp_available())