DAVINCI_TIMER_REG_TIM12  131 drivers/clocksource/timer-davinci.c 	davinci_clockevent_write(clockevent, DAVINCI_TIMER_REG_TIM12, 0x0);
DAVINCI_TIMER_REG_TIM12  146 drivers/clocksource/timer-davinci.c 	davinci_clockevent_write(clockevent, DAVINCI_TIMER_REG_TIM12, 0x0);
DAVINCI_TIMER_REG_TIM12  162 drivers/clocksource/timer-davinci.c 					    DAVINCI_TIMER_REG_TIM12);
DAVINCI_TIMER_REG_TIM12  223 drivers/clocksource/timer-davinci.c 	writel_relaxed(0x0, base + DAVINCI_TIMER_REG_TIM12);
DAVINCI_TIMER_REG_TIM12  239 drivers/clocksource/timer-davinci.c 	writel_relaxed(0x0, base + DAVINCI_TIMER_REG_TIM12);
DAVINCI_TIMER_REG_TIM12  314 drivers/clocksource/timer-davinci.c 		davinci_clocksource.tim_off = DAVINCI_TIMER_REG_TIM12;