162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-only */ 262306a36Sopenharmony_ci/* 362306a36Sopenharmony_ci * Copyright (c) 2012, NVIDIA Corporation. All rights reserved. 462306a36Sopenharmony_ci */ 562306a36Sopenharmony_ci 662306a36Sopenharmony_ci#ifndef __SOC_TEGRA_IRQ_H 762306a36Sopenharmony_ci#define __SOC_TEGRA_IRQ_H 862306a36Sopenharmony_ci 962306a36Sopenharmony_ci#include <linux/types.h> 1062306a36Sopenharmony_ci 1162306a36Sopenharmony_ci#if defined(CONFIG_ARM) && defined(CONFIG_ARCH_TEGRA) 1262306a36Sopenharmony_cibool tegra_pending_sgi(void); 1362306a36Sopenharmony_ci#else 1462306a36Sopenharmony_cistatic inline bool tegra_pending_sgi(void) 1562306a36Sopenharmony_ci{ 1662306a36Sopenharmony_ci return false; 1762306a36Sopenharmony_ci} 1862306a36Sopenharmony_ci#endif 1962306a36Sopenharmony_ci 2062306a36Sopenharmony_ci#endif /* __SOC_TEGRA_IRQ_H */ 21