1 /* SPDX-License-Identifier: GPL-2.0-only */ 1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 2 /* 3 * Copyright (c) 2012, NVIDIA Corporation. All 3 * Copyright (c) 2012, NVIDIA Corporation. All rights reserved. 4 */ 4 */ 5 5 6 #ifndef __SOC_TEGRA_IRQ_H 6 #ifndef __SOC_TEGRA_IRQ_H 7 #define __SOC_TEGRA_IRQ_H 7 #define __SOC_TEGRA_IRQ_H 8 8 9 #include <linux/types.h> !! 9 #if defined(CONFIG_ARM) 10 << 11 #if defined(CONFIG_ARM) && defined(CONFIG_ARCH << 12 bool tegra_pending_sgi(void); 10 bool tegra_pending_sgi(void); 13 #else << 14 static inline bool tegra_pending_sgi(void) << 15 { << 16 return false; << 17 } << 18 #endif 11 #endif 19 12 20 #endif /* __SOC_TEGRA_IRQ_H */ 13 #endif /* __SOC_TEGRA_IRQ_H */ 21 14
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.