Symbol: davinci_tim12_shutdown
drivers/clocksource/timer-davinci.c
121
davinci_tim12_shutdown(clockevent->base);
drivers/clocksource/timer-davinci.c
173
davinci_tim12_shutdown(clockevent->base);