SCHED_TICK_LENGTH
const u_int len = SCHED_TICK_LENGTH(ts);
SCHED_TICK_LENGTH(ts) * (t_tgt - lu_span);
len = SCHED_TICK_LENGTH(ts);