Symbol: tegra_pending_sgi
drivers/cpuidle/cpuidle-tegra.c
142
if (tegra_pending_sgi()) {
include/soc/tegra/irq.h
12
bool tegra_pending_sgi(void);