1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * Copyright (c) 2012, NVIDIA Corporation. All rights reserved. 4 */ 5 6 #ifndef __SOC_TEGRA_IRQ_H 7 #define __SOC_TEGRA_IRQ_H 8 9 #include <linux/types.h> 10 11 #if defined(CONFIG_ARM) && defined(CONFIG_ARCH_TEGRA) 12 bool tegra_pending_sgi(void); 13 #else 14 static inline bool tegra_pending_sgi(void) 15 { 16 return false; 17 } 18 #endif 19 20 #endif /* __SOC_TEGRA_IRQ_H */ 21