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,