Searched refs:clocksource_timer_counter (Results 1 – 1 of 1) sorted by relevance
51 static void __iomem *clocksource_timer_counter; variable55 return readl(clocksource_timer_counter); in lpc32xx_read_sched_clock()60 return readl(clocksource_timer_counter); in lpc32xx_delay_timer_read()204 clocksource_timer_counter = base + LPC32XX_TIMER_TC; in lpc32xx_clocksource_init()
