Symbol: davinci_timer_read_sched_clock
drivers/clocksource/timer-davinci.c
188
return davinci_timer_read_sched_clock();
drivers/clocksource/timer-davinci.c
333
sched_clock_register(davinci_timer_read_sched_clock,