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);