davinci_timer_init 336 arch/arm/mach-davinci/time.c void __init davinci_timer_init(struct clk *timer_clk) davinci_timer_init 228 drivers/clocksource/timer-davinci.c static void davinci_timer_init(void __iomem *base)