dc_timer_disable   93 drivers/clocksource/timer-digicolor.c 	dc_timer_disable(ce);
dc_timer_disable   99 drivers/clocksource/timer-digicolor.c 	dc_timer_disable(ce);
dc_timer_disable  108 drivers/clocksource/timer-digicolor.c 	dc_timer_disable(ce);
dc_timer_disable  117 drivers/clocksource/timer-digicolor.c 	dc_timer_disable(ce);