DAVINCI_TIMER_REG_TIM34  206 drivers/clocksource/timer-davinci.c 	writel_relaxed(0x0, base + DAVINCI_TIMER_REG_TIM34);
DAVINCI_TIMER_REG_TIM34  240 drivers/clocksource/timer-davinci.c 	writel_relaxed(0x0, base + DAVINCI_TIMER_REG_TIM34);
DAVINCI_TIMER_REG_TIM34  318 drivers/clocksource/timer-davinci.c 		davinci_clocksource.tim_off = DAVINCI_TIMER_REG_TIM34;