1
2
3
4
5
6
7
8
9
10
11
12
13
| /* 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 */
|
|
