1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (c) 2012, NVIDIA Corporation. All rights reserved.
6 #ifndef __MACH_TEGRA_CPUIDLE_H
7 #define __MACH_TEGRA_CPUIDLE_H
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);
17 static inline void tegra_cpuidle_init(void) {}
18 static inline void tegra_cpuidle_pcie_irqs_in_use(void) {}