REG_COUNTER_LO     89 drivers/clocksource/bcm2835_timer.c 	system_clock = base + REG_COUNTER_LO;
REG_COUNTER_LO     92 drivers/clocksource/bcm2835_timer.c 	clocksource_mmio_init(base + REG_COUNTER_LO, node->name,