tc_cpu_ticks
cpu_ticks = tc_cpu_ticks;
if (cpu_ticks == tc_cpu_ticks)
cpu_tick_f *cpu_ticks = tc_cpu_ticks;