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);