LPC32XX_TIMER_TC  197 drivers/clocksource/timer-lpc32xx.c 	ret = clocksource_mmio_init(base + LPC32XX_TIMER_TC, "lpc3220 timer",
LPC32XX_TIMER_TC  204 drivers/clocksource/timer-lpc32xx.c 	clocksource_timer_counter = base + LPC32XX_TIMER_TC;