TIMER_INTCLR       63 drivers/clocksource/timer-integrator-ap.c 	writel(1, clkevt_base + TIMER_INTCLR);
TIMER_INTCLR      118 drivers/clocksource/timer-sp804.c 	writel(1, clkevt_base + TIMER_INTCLR);