orion_read_sched_clock
sched_clock_register(orion_read_sched_clock, 32, tclk);
sched_clock_register(orion_read_sched_clock, 32, rate);