67  *	uv = (2^2n + 2^n) (u1 v1)  +			[u1v1 = high]
87  *	(2^n)(high) + (2^n)(mid) + (2^n + 1)(low)
91  *	(2^n)(high + mid + low) + low
93  * Furthermore, `high' and `mid' can be computed mod 2^n, as any factor
104 	u_int high, mid, udiff, vdiff;  in __muldi3()  local
136 		 * any upper bits in high and mid, so we can use native  in __muldi3()
151 		high = u1 * v1;  in __muldi3()
156 		prod.ul[H] = high + (negmid ? -mid : mid) + low.ul[L] +  in __muldi3()
182  * splits into high and low ints as HHALF(l) and LHUP(l) respectively.
187 	u_int u1, u0, v1, v0, udiff, vdiff, high, mid, low;  in __lmulq()  local
213 	high = u1 * v1;  in __lmulq()
215 	/* prod = (high << 2N) + (high << N); */  in __lmulq()
216 	prodh = high + HHALF(high);  in __lmulq()
217 	prodl = LHUP(high);  in __lmulq()