dc_timer_set_count  109 drivers/clocksource/timer-digicolor.c 	dc_timer_set_count(ce, dt->ticks_per_jiffy);
dc_timer_set_count  118 drivers/clocksource/timer-digicolor.c 	dc_timer_set_count(ce, evt);