Searched refs:clocksource_timer_counter (Results 1 – 1 of 1) sorted by relevance
49 static void __iomem *clocksource_timer_counter; variable53 return readl(clocksource_timer_counter); in lpc32xx_read_sched_clock()164 clocksource_timer_counter = base + LPC32XX_TIMER_TC; in lpc32xx_clocksource_init()