LPC32XX_TIMER_CTCR  193 drivers/clocksource/timer-lpc32xx.c 	writel_relaxed(0, base + LPC32XX_TIMER_CTCR);
LPC32XX_TIMER_CTCR  259 drivers/clocksource/timer-lpc32xx.c 	writel_relaxed(0, base + LPC32XX_TIMER_CTCR);