OSTM_CNT
return clocksource_mmio_init(timer_of_base(to) + OSTM_CNT,
system_clock = timer_of_base(to) + OSTM_CNT;