Symbol: LPC32XX_TIMER_CTCR
drivers/clocksource/timer-lpc32xx.c
189
writel_relaxed(0, base + LPC32XX_TIMER_CTCR);
drivers/clocksource/timer-lpc32xx.c
255
writel_relaxed(0, base + LPC32XX_TIMER_CTCR);