Symbol: LPC32XX_TIMER_PR
drivers/clocksource/timer-lpc32xx.c
187
writel_relaxed(0, base + LPC32XX_TIMER_PR);
drivers/clocksource/timer-lpc32xx.c
254
writel_relaxed(0, base + LPC32XX_TIMER_PR);