|
/* SPDX-License-Identifier: GPL-2.0-only */
|
|
/*
|
|
* Copyright (c) 2012, NVIDIA Corporation. All rights reserved.
|
|
*/
|
|
|
|
#ifndef __SOC_TEGRA_IRQ_H
|
|
#define __SOC_TEGRA_IRQ_H
|
|
|
|
#if defined(CONFIG_ARM)
|
|
bool tegra_pending_sgi(void);
|
|
#endif
|
|
|
|
#endif /* __SOC_TEGRA_IRQ_H */
|