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);