clocksource_timer_counter   51 drivers/clocksource/timer-lpc32xx.c static void __iomem *clocksource_timer_counter;
clocksource_timer_counter   55 drivers/clocksource/timer-lpc32xx.c 	return readl(clocksource_timer_counter);
clocksource_timer_counter   60 drivers/clocksource/timer-lpc32xx.c 	return readl(clocksource_timer_counter);
clocksource_timer_counter  204 drivers/clocksource/timer-lpc32xx.c 	clocksource_timer_counter = base + LPC32XX_TIMER_TC;