Symbol: davinci_timer_register
drivers/clocksource/timer-davinci.c
378
rv = davinci_timer_register(clk, &timer_cfg);
include/clocksource/timer-davinci.h
41
int __init davinci_timer_register(struct clk *clk,