Symbol: dc_timer_disable
drivers/clocksource/timer-digicolor.c
105
dc_timer_disable(ce);
drivers/clocksource/timer-digicolor.c
114
dc_timer_disable(ce);
drivers/clocksource/timer-digicolor.c
90
dc_timer_disable(ce);
drivers/clocksource/timer-digicolor.c
96
dc_timer_disable(ce);