psci_smp_available   13 arch/arm/include/asm/psci.h bool psci_smp_available(void);
psci_smp_available 1145 arch/arm/kernel/setup.c 			if (psci_smp_available())
psci_smp_available   85 arch/arm/mach-tegra/cpuidle-tegra114.c 	if (!psci_smp_available())