Symbol: davinci_clockevent_shutdown
drivers/clocksource/timer-davinci.c
143
davinci_clockevent_shutdown(dev);
drivers/clocksource/timer-davinci.c
295
davinci_clockevent_shutdown;