INVERSE_ESTCPU_WEIGHT
td_get_sched(td)->ts_estcpu / INVERSE_ESTCPU_WEIGHT +
if ((ts->ts_estcpu % INVERSE_ESTCPU_WEIGHT) == 0) {
min((e), INVERSE_ESTCPU_WEIGHT * \
+ INVERSE_ESTCPU_WEIGHT - 1)