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;