soc/tegra/irq.h

0001 /* SPDX-License-Identifier: GPL-2.0-only */
0002 /*
0003  * Copyright (c) 2012, NVIDIA Corporation. All rights reserved.
0004  */
0005
0006 #ifndef __SOC_TEGRA_IRQ_H
0007 #define __SOC_TEGRA_IRQ_H
0008
0009 #include <linux/types.h>
0010
0011 #if defined(CONFIG_ARM) && defined(CONFIG_ARCH_TEGRA)
0012 bool tegra_pending_sgi(void);
0013 #else
0014 static inline bool tegra_pending_sgi(void)
0015 {
0016     return false;
0017 }
0018 #endif
0019
0020 #endif /* __SOC_TEGRA_IRQ_H */