204 	} rl, rm, rn, rh, a0, b0;  in mul_u64_u64_shr()  local
213 	rh.ll = mul_u32_u32(a0.l.high, b0.l.high);  in mul_u64_u64_shr()
221 	rh.l.low = c = (c >> 32) + rm.l.high + rn.l.high + rh.l.low;  in mul_u64_u64_shr()
222 	rh.l.high = (c >> 32) + rh.l.high;  in mul_u64_u64_shr()
225 	 * The 128-bit result of the multiplication is in rl.ll and rh.ll,  in mul_u64_u64_shr()
231 		return (rl.ll >> shift) | (rh.ll << (64 - shift));  in mul_u64_u64_shr()
232 	return rh.ll >> (shift & 63);  in mul_u64_u64_shr()
268 	} u, rl, rh;  in mul_u64_u32_div()  local
272 	rh.ll = mul_u32_u32(u.l.high, mul) + rl.l.high;  in mul_u64_u32_div()
274 	/* Bits 32-63 of the result will be in rh.l.low. */  in mul_u64_u32_div()
275 	rl.l.high = do_div(rh.ll, divisor);  in mul_u64_u32_div()
280 	rl.l.high = rh.l.low;  in mul_u64_u32_div()