1*4882a593Smuzhiyun /* SPDX-License-Identifier: GPL-2.0-only */ 2*4882a593Smuzhiyun /* 3*4882a593Smuzhiyun * Copyright (c) 2012, NVIDIA Corporation. All rights reserved. 4*4882a593Smuzhiyun */ 5*4882a593Smuzhiyun 6*4882a593Smuzhiyun #ifndef __SOC_TEGRA_IRQ_H 7*4882a593Smuzhiyun #define __SOC_TEGRA_IRQ_H 8*4882a593Smuzhiyun 9*4882a593Smuzhiyun #if defined(CONFIG_ARM) 10*4882a593Smuzhiyun bool tegra_pending_sgi(void); 11*4882a593Smuzhiyun #endif 12*4882a593Smuzhiyun 13*4882a593Smuzhiyun #endif /* __SOC_TEGRA_IRQ_H */ 14