1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3  * Copyright (c) 2012, NVIDIA Corporation. All rights reserved.
4  */
5 
6 #ifndef __MACH_TEGRA_CPUIDLE_H
7 #define __MACH_TEGRA_CPUIDLE_H
8 
9 #ifdef CONFIG_CPU_IDLE
10 int tegra20_cpuidle_init(void);
11 void tegra20_cpuidle_pcie_irqs_in_use(void);
12 int tegra30_cpuidle_init(void);
13 int tegra114_cpuidle_init(void);
14 void tegra_cpuidle_init(void);
15 void tegra_cpuidle_pcie_irqs_in_use(void);
16 #else
tegra_cpuidle_init(void)17 static inline void tegra_cpuidle_init(void) {}
tegra_cpuidle_pcie_irqs_in_use(void)18 static inline void tegra_cpuidle_pcie_irqs_in_use(void) {}
19 #endif
20 
21 #endif
22