davinci_clockevent_write 131 drivers/clocksource/timer-davinci.c davinci_clockevent_write(clockevent, DAVINCI_TIMER_REG_TIM12, 0x0); davinci_clockevent_write 146 drivers/clocksource/timer-davinci.c davinci_clockevent_write(clockevent, DAVINCI_TIMER_REG_TIM12, 0x0); davinci_clockevent_write 147 drivers/clocksource/timer-davinci.c davinci_clockevent_write(clockevent, DAVINCI_TIMER_REG_PRD12, cycles); davinci_clockevent_write 163 drivers/clocksource/timer-davinci.c davinci_clockevent_write(clockevent,