Searched refs:clocksource_timer_counter (Results 1 – 1 of 1) sorted by relevance
47 static void __iomem *clocksource_timer_counter; variable51 return readl(clocksource_timer_counter); in lpc32xx_read_sched_clock()56 return readl(clocksource_timer_counter); in lpc32xx_delay_timer_read()200 clocksource_timer_counter = base + LPC32XX_TIMER_TC; in lpc32xx_clocksource_init()