Symbol: rda_hwtimer_clocksource_read
drivers/clocksource/timer-rda.c
173
return rda_hwtimer_clocksource_read();
drivers/clocksource/timer-rda.c
194
sched_clock_register(rda_hwtimer_clocksource_read, 64, rate);