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);