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;