Symbol: dc_timer_set_count
drivers/clocksource/timer-digicolor.c
106
dc_timer_set_count(ce, dt->ticks_per_jiffy);
drivers/clocksource/timer-digicolor.c
115
dc_timer_set_count(ce, evt);