sched_clock_read
sched_clock_register(sched_clock_read, 64, freq);
sched_clock_register(sched_clock_read, ECONET_BITS,
sched_clock_register(sched_clock_read, 32, timer_of_rate(to));