Local variable in function dc_timer_disable at drivers/clocksource/timer-digicolor.c, line 71 References: drivers/clocksource/timer-digicolor.c, line 60 drivers/clocksource/timer-digicolor.c, line 66 drivers/clocksource/timer-digicolor.c, line 68 drivers/clocksource/timer-digicolor.c, line 68 drivers/clocksource/timer-digicolor.c, line 71 drivers/clocksource/timer-digicolor.c, line 73 drivers/clocksource/timer-digicolor.c, line 77 drivers/clocksource/timer-digicolor.c, line 79 drivers/clocksource/timer-digicolor.c, line 83 drivers/clocksource/timer-digicolor.c, line 86 drivers/clocksource/timer-digicolor.c, line 90 drivers/clocksource/timer-digicolor.c, line 92 drivers/clocksource/timer-digicolor.c, line 96 drivers/clocksource/timer-digicolor.c, line 98 drivers/clocksource/timer-digicolor.c, line 99 drivers/clocksource/timer-digicolor.c, line 103 drivers/clocksource/timer-digicolor.c, line 105 drivers/clocksource/timer-digicolor.c, line 107 drivers/clocksource/timer-digicolor.c, line 108 drivers/clocksource/timer-digicolor.c, line 109 drivers/clocksource/timer-digicolor.c, line 114 drivers/clocksource/timer-digicolor.c, line 116 drivers/clocksource/timer-digicolor.c, line 117 drivers/clocksource/timer-digicolor.c, line 118 drivers/clocksource/timer-digicolor.c, line 124 drivers/clocksource/timer-digicolor.c, line 192 drivers/clocksource/timer-digicolor.c, line 196 drivers/clocksource/timer-digicolor.c, line 197 drivers/clocksource/timer-digicolor.c, line 199