ingenic_tcu_timer_read   52 drivers/clocksource/ingenic-timer.c 	return ingenic_tcu_timer_read();
ingenic_tcu_timer_read  289 drivers/clocksource/ingenic-timer.c 	sched_clock_register(ingenic_tcu_timer_read, 16, rate);