tc_sched_clock 362 drivers/clocksource/timer-atmel-tcb.c u64 (*tc_sched_clock)(void); tc_sched_clock 447 drivers/clocksource/timer-atmel-tcb.c tc_sched_clock = tc_sched_clock_read32; tc_sched_clock 460 drivers/clocksource/timer-atmel-tcb.c tc_sched_clock = tc_sched_clock_read; tc_sched_clock 474 drivers/clocksource/timer-atmel-tcb.c sched_clock_register(tc_sched_clock, 32, divided_rate);