dc_timer           74 drivers/clocksource/timer-digicolor.c 	struct digicolor_timer *dt = dc_timer(ce);
dc_timer           80 drivers/clocksource/timer-digicolor.c 	struct digicolor_timer *dt = dc_timer(ce);
dc_timer           87 drivers/clocksource/timer-digicolor.c 	struct digicolor_timer *dt = dc_timer(ce);
dc_timer          106 drivers/clocksource/timer-digicolor.c 	struct digicolor_timer *dt = dc_timer(ce);