Searched refs:distbase (Results 1 – 1 of 1) sorted by relevance
35 void __iomem *distbase = IO_ADDRESS(TEGRA_ARM_INT_DIST_BASE); in tegra_pending_sgi() local37 pending_set = readl_relaxed(distbase + GIC_DIST_PENDING_SET); in tegra_pending_sgi()