distbase           34 arch/arm/mach-tegra/irq.c 	void __iomem *distbase = IO_ADDRESS(TEGRA_ARM_INT_DIST_BASE);
distbase           36 arch/arm/mach-tegra/irq.c 	pending_set = readl_relaxed(distbase + GIC_DIST_PENDING_SET);