LPC32XX_TIMER_TCR_CRST   79 drivers/clocksource/timer-lpc32xx.c 	writel_relaxed(LPC32XX_TIMER_TCR_CRST, ddata->base + LPC32XX_TIMER_TCR);
LPC32XX_TIMER_TCR_CRST  127 drivers/clocksource/timer-lpc32xx.c 	writel_relaxed(LPC32XX_TIMER_TCR_CRST, ddata->base + LPC32XX_TIMER_TCR);
LPC32XX_TIMER_TCR_CRST  190 drivers/clocksource/timer-lpc32xx.c 	writel_relaxed(LPC32XX_TIMER_TCR_CRST, base + LPC32XX_TIMER_TCR);