Searched refs:clocksource_timer_counter (Results 1 - 1 of 1) sorted by relevance

/linux-4.4.14/drivers/clocksource/
H A Dtime-lpc32xx.c49 static void __iomem *clocksource_timer_counter; variable
53 return readl(clocksource_timer_counter); lpc32xx_read_sched_clock()
164 clocksource_timer_counter = base + LPC32XX_TIMER_TC; lpc32xx_clocksource_init()

Completed in 38 milliseconds