Searched refs:system_clock (Results 1 – 2 of 2) sorted by relevance
27 static void __iomem *system_clock; /* For sched_clock() */ variable74 return readl(system_clock); in ostm_read_sched_clock()79 system_clock = timer_of_base(to) + OSTM_CNT; in ostm_init_sched_clock()170 if (system_clock) { in ostm_init()187 if (!system_clock) { in ostm_init()
36 static void __iomem *system_clock __read_mostly;40 return readl_relaxed(system_clock); in bcm2835_sched_read()48 writel_relaxed(readl_relaxed(system_clock) + event, in bcm2835_time_set_next_event()88 system_clock = base + REG_COUNTER_LO; in bcm2835_timer_init()