90 void add128(bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 * z0Ptr,
92 void sub128(bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 * z0Ptr,
110 static bits64 estimateDiv128To64(bits64 a0, bits64 a1, bits64 b);
638 void add128(bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 * z0Ptr,  in add128()  argument
643 	z1 = a1 + b1;  in add128()
645 	*z0Ptr = a0 + b0 + (z1 < a1);  in add128()
649 sub128(bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 * z0Ptr,  in sub128()  argument
652 	*z1Ptr = a1 - b1;  in sub128()
653 	*z0Ptr = a0 - b0 - (a1 < b1);  in sub128()
656 static bits64 estimateDiv128To64(bits64 a0, bits64 a1, bits64 b)  in estimateDiv128To64()  argument
669 	sub128(a0, a1, term0, term1, &rem0, &rem1);  in estimateDiv128To64()