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 #if defined(CONFIG_ARM) 10 bool tegra_pending_sgi(void); 11 #endif 12 13 #endif /* __SOC_TEGRA_IRQ_H */ 14