arch_counter_base   54 drivers/clocksource/arm_arch_timer.c static void __iomem *arch_counter_base;
arch_counter_base  945 drivers/clocksource/arm_arch_timer.c 		vct_hi = readl_relaxed(arch_counter_base + CNTVCT_HI);
arch_counter_base  946 drivers/clocksource/arm_arch_timer.c 		vct_lo = readl_relaxed(arch_counter_base + CNTVCT_LO);
arch_counter_base  947 drivers/clocksource/arm_arch_timer.c 		tmp_hi = readl_relaxed(arch_counter_base + CNTVCT_HI);
arch_counter_base 1404 drivers/clocksource/arm_arch_timer.c 	arch_counter_base = base;