Searched refs:system_clock (Results 1 – 2 of 2) sorted by relevance
50 static void __iomem *system_clock __read_mostly;54 return readl_relaxed(system_clock); in bcm2835_sched_read()62 writel_relaxed(readl_relaxed(system_clock) + event, in bcm2835_time_set_next_event()102 system_clock = base + REG_COUNTER_LO; in bcm2835_timer_init()
42 static void __iomem *system_clock; /* For sched_clock() */ variable98 return readl(system_clock); in ostm_read_sched_clock()104 system_clock = ostm->base + OSTM_CNT; in ostm_init_sched_clock()239 if (!system_clock) { in ostm_init()
