cpu_tickrate
tb_f = cpu_tickrate();
end_time = ((end_ticks - start_ticks) << 20) / cpu_tickrate();
end_time = ((end_ticks - start_ticks) << 20) / cpu_tickrate();
if (p->p_rux.rux_runtime > p->p_cpulimit * cpu_tickrate()) {
if (p->p_rux.rux_runtime >= rlim.rlim_max * cpu_tickrate()) {
*res /= cpu_tickrate();
tr = cpu_tickrate();
tr = cpu_tickrate();
ts->tv_nsec = 1000000000 / cpu_tickrate() + 1;
uint64_t cpu_tickrate(void);