ARM: Tegra: Add CONFIG_TEGRA_USE_SECURE_KERNEL
[linux-3.10.git] / arch / arm / mach-tegra / cpuidle-t11x.c
index 0878854..7b0f449 100644 (file)
@@ -438,7 +438,7 @@ static bool tegra_cpu_core_power_down(struct cpuidle_device *dev,
        tegra_cpu_wake_by_time[dev->cpu] = ktime_to_us(entry_time) + request;
        smp_wmb();
 
-#ifdef CONFIG_TRUSTED_FOUNDATIONS
+#ifdef CONFIG_TEGRA_USE_SECURE_KERNEL
        if ((cpu == 0) || (cpu == 4)) {
                tegra_generic_smc(0xFFFFFFFC, 0xFFFFFFE7,
                                (TEGRA_RESET_HANDLER_BASE +