Two small patches so that we can keep the Tegra cpuidle driver enabled even in the presence of PSCI which takes over some duties (U-Boot is about to gain such support for Tegra124). Jan Jan Kiszka (2): ARM: Availability of psci_smp_available depends on CONFIG_SMP ARM: tegra: Disable cpuidle driver if PSCI is present arch/arm/include/asm/psci.h | 6 +++++- arch/arm/mach-tegra/Kconfig | 1 + arch/arm/mach-tegra/tegra.c | 4 +++- 3 files changed, 9 insertions(+), 2 deletions(-) -- 2.1.4 -- To unsubscribe from this list: send the line "unsubscribe linux-tegra" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
