1/* SPDX-License-Identifier: GPL-2.0-only */
 2/*
 3 * Copyright 2016 Pengutronix, <kernel@pengutronix.de>
 4 */
 5
 6#ifndef __SOC_IMX_CPUIDLE_H__
 7#define __SOC_IMX_CPUIDLE_H__
 8
 9#if defined(CONFIG_CPU_IDLE) && defined(CONFIG_SOC_IMX6Q)
10void imx6q_cpuidle_fec_irqs_used(void);
11void imx6q_cpuidle_fec_irqs_unused(void);
12#else
13static inline void imx6q_cpuidle_fec_irqs_used(void) { }
14static inline void imx6q_cpuidle_fec_irqs_unused(void) { }
15#endif
16
17#endif /* __SOC_IMX_CPUIDLE_H__ */