davinci_tim12_shutdown 122 drivers/clocksource/timer-davinci.c davinci_tim12_shutdown(clockevent->base); davinci_tim12_shutdown 174 drivers/clocksource/timer-davinci.c davinci_tim12_shutdown(clockevent->base);