jcore_sched_clock_read   62 drivers/clocksource/jcore-pit.c 	return jcore_sched_clock_read();
jcore_sched_clock_read  166 drivers/clocksource/jcore-pit.c 	sched_clock_register(jcore_sched_clock_read, 32, NSEC_PER_SEC);