LPC32XX_TIMER_PR  191 drivers/clocksource/timer-lpc32xx.c 	writel_relaxed(0, base + LPC32XX_TIMER_PR);
LPC32XX_TIMER_PR  258 drivers/clocksource/timer-lpc32xx.c 	writel_relaxed(0, base + LPC32XX_TIMER_PR);