LPC32XX_TIMER_IR_MR0INT  139 drivers/clocksource/timer-lpc32xx.c 	writel_relaxed(LPC32XX_TIMER_IR_MR0INT, ddata->base + LPC32XX_TIMER_IR);
LPC32XX_TIMER_IR_MR0INT  260 drivers/clocksource/timer-lpc32xx.c 	writel_relaxed(LPC32XX_TIMER_IR_MR0INT, base + LPC32XX_TIMER_IR);