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