21 lines · c
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_H7#define __SOC_TEGRA_IRQ_H8 9#include <linux/types.h>10 11#if defined(CONFIG_ARM) && defined(CONFIG_ARCH_TEGRA)12bool tegra_pending_sgi(void);13#else14static inline bool tegra_pending_sgi(void)15{16 return false;17}18#endif19 20#endif /* __SOC_TEGRA_IRQ_H */21