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