REG_COUNTER_LO
system_clock = base + REG_COUNTER_LO;
clocksource_mmio_init(base + REG_COUNTER_LO, node->name,