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