Symbol: LPC32XX_TIMER_IR_MR0INT
drivers/clocksource/timer-lpc32xx.c
135
writel_relaxed(LPC32XX_TIMER_IR_MR0INT, ddata->base + LPC32XX_TIMER_IR);
drivers/clocksource/timer-lpc32xx.c
256
writel_relaxed(LPC32XX_TIMER_IR_MR0INT, base + LPC32XX_TIMER_IR);