SRR              1273 kernel/sched.c 		tmp = SRR(SRR(tmp, WMULT_SHIFT/2) * lw->inv_weight,
SRR              1276 kernel/sched.c 		tmp = SRR(tmp * lw->inv_weight, WMULT_SHIFT);