davinci_timer_read_sched_clock 189 drivers/clocksource/timer-davinci.c return davinci_timer_read_sched_clock(); davinci_timer_read_sched_clock 332 drivers/clocksource/timer-davinci.c sched_clock_register(davinci_timer_read_sched_clock,