Symbol: jcore_sched_clock_read
drivers/clocksource/jcore-pit.c
175
sched_clock_register(jcore_sched_clock_read, 32, NSEC_PER_SEC);
drivers/clocksource/jcore-pit.c
59
return jcore_sched_clock_read();