irq.h (386B)
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#include <linux/types.h> 10 11#if defined(CONFIG_ARM) && defined(CONFIG_ARCH_TEGRA) 12bool tegra_pending_sgi(void); 13#else 14static inline bool tegra_pending_sgi(void) 15{ 16 return false; 17} 18#endif 19 20#endif /* __SOC_TEGRA_IRQ_H */