216 			u32 high, low;  in mul_u64_u64_shr()  member
218 			u32 low, high;  in mul_u64_u64_shr()
228 	rm.ll = mul_u32_u32(a0.l.low, b0.l.high);  in mul_u64_u64_shr()
229 	rn.ll = mul_u32_u32(a0.l.high, b0.l.low);  in mul_u64_u64_shr()
230 	rh.ll = mul_u32_u32(a0.l.high, b0.l.high);  in mul_u64_u64_shr()
235 	 * multiplication, the high 32-bits are carried into the next step.  in mul_u64_u64_shr()
237 	rl.l.high = c = (u64)rl.l.high + rm.l.low + rn.l.low;  in mul_u64_u64_shr()
238 	rh.l.low = c = (c >> 32) + rm.l.high + rn.l.high + rh.l.low;  in mul_u64_u64_shr()
239 	rh.l.high = (c >> 32) + rh.l.high;  in mul_u64_u64_shr()
243 	 * shift it right and throw away the high part of the result.  in mul_u64_u64_shr()
262 			u32 high, low;  in mul_u64_u32_div()  member
264 			u32 low, high;  in mul_u64_u32_div()
271 	rh.ll = mul_u32_u32(u.l.high, mul) + rl.l.high;  in mul_u64_u32_div()
274 	rl.l.high = do_div(rh.ll, divisor);  in mul_u64_u32_div()
279 	rl.l.high = rh.l.low;  in mul_u64_u32_div()