Searched refs:system_clock (Results 1 – 2 of 2) sorted by relevance
37 static void __iomem *system_clock __read_mostly;41 return readl_relaxed(system_clock); in bcm2835_sched_read()49 writel_relaxed(readl_relaxed(system_clock) + event, in bcm2835_time_set_next_event()89 system_clock = base + REG_COUNTER_LO; in bcm2835_timer_init()
33 static void __iomem *system_clock; /* For sched_clock() */ variable89 return readl(system_clock); in ostm_read_sched_clock()95 system_clock = ostm->base + OSTM_CNT; in ostm_init_sched_clock()230 if (!system_clock) { in ostm_init()
