433 | value formed by concatenating `b0' and `b1'.  Addition is modulo 2^128, so
438 static inline void add128(uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1,  in add128()  argument
442     *z1Ptr = uadd64_carry(a1, b1, &c);  in add128()
448 | 192-bit value formed by concatenating `b0', `b1', and `b2'.  Addition is
455                           uint64_t b0, uint64_t b1, uint64_t b2,  in add192()  argument
460     *z1Ptr = uadd64_carry(a1, b1, &c);  in add192()
465 | Subtracts the 128-bit value formed by concatenating `b0' and `b1' from the
472 static inline void sub128(uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1,  in sub128()  argument
476     *z1Ptr = usub64_borrow(a1, b1, &c);  in sub128()
481 | Subtracts the 192-bit value formed by concatenating `b0', `b1', and `b2'
489                           uint64_t b0, uint64_t b1, uint64_t b2,  in sub192()  argument
494     *z1Ptr = usub64_borrow(a1, b1, &c);  in sub192()
530 | 128-bit value formed by concatenating `b0' and `b1' to obtain a 256-bit
536                                uint64_t b0, uint64_t b1,  in mul128To256()  argument
544     mul64To128(a0, b1, &n1, &n2);  in mul128To256()
545     mul64To128(a1, b1, &z2, z3Ptr);  in mul128To256()
563     uint64_t b0, b1;  in estimateDiv128To64()  local
574         b1 = b<<32;  in estimateDiv128To64()
575         add128( rem0, rem1, b0, b1, &rem0, &rem1 );  in estimateDiv128To64()
624 | is equal to the 128-bit value formed by concatenating `b0' and `b1'.
628 static inline bool eq128(uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1)  in eq128()  argument
630     return a0 == b0 && a1 == b1;  in eq128()
635 | than or equal to the 128-bit value formed by concatenating `b0' and `b1'.
639 static inline bool le128(uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1)  in le128()  argument
641     return a0 < b0 || (a0 == b0 && a1 <= b1);  in le128()
646 | than the 128-bit value formed by concatenating `b0' and `b1'.  Otherwise,
650 static inline bool lt128(uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1)  in lt128()  argument
652     return a0 < b0 || (a0 == b0 && a1 < b1);  in lt128()
657 | not equal to the 128-bit value formed by concatenating `b0' and `b1'.
661 static inline bool ne128(uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1)  in ne128()  argument
663     return a0 != b0 || a1 != b1;  in ne128()
671                          uint64_t b0, uint64_t b1, uint64_t b2)  in eq192()  argument
673     return ((a0 ^ b0) | (a1 ^ b1) | (a2 ^ b2)) == 0;  in eq192()
677                          uint64_t b0, uint64_t b1, uint64_t b2)  in le192()  argument
682     if (a1 != b1) {  in le192()
683         return a1 < b1;  in le192()
689                          uint64_t b0, uint64_t b1, uint64_t b2)  in lt192()  argument
694     if (a1 != b1) {  in lt192()
695         return a1 < b1;  in lt192()