1/* SPDX-License-Identifier: GPL-2.0-only */
 2/*
 3 * Copyright (c) 2013, NVIDIA CORPORATION.  All rights reserved.
 4 */
 5
 6#ifndef __SOC_TEGRA_CPUIDLE_H__
 7#define __SOC_TEGRA_CPUIDLE_H__
 8
 9#ifdef CONFIG_ARM_TEGRA_CPUIDLE
10void tegra_cpuidle_pcie_irqs_in_use(void);
11#else
12static inline void tegra_cpuidle_pcie_irqs_in_use(void)
13{
14}
15#endif
16
17#endif /* __SOC_TEGRA_CPUIDLE_H__ */