LPC32XX_TIMER_TC - Linux

Symbol: LPC32XX_TIMER_TC

drivers/clocksource/timer-lpc32xx.c

ret = clocksource_mmio_init(base + LPC32XX_TIMER_TC, "lpc3220 timer",

drivers/clocksource/timer-lpc32xx.c

clocksource_timer_counter = base + LPC32XX_TIMER_TC;