davinci_clockevent_shutdown  144 drivers/clocksource/timer-davinci.c 	davinci_clockevent_shutdown(dev);
davinci_clockevent_shutdown  294 drivers/clocksource/timer-davinci.c 				davinci_clockevent_shutdown;