355      uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1, uint64_t *z0Ptr, uint64_t *z1Ptr )  in add128()  argument
361     *z0Ptr = a0 + b0 + ( z1 < a1 );  in add128()
378      uint64_t b0,  in add192()  argument
393     z0 = a0 + b0;  in add192()
413      uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1, uint64_t *z0Ptr, uint64_t *z1Ptr )  in sub128()  argument
417     *z0Ptr = a0 - b0 - ( a1 < b1 );  in sub128()
434      uint64_t b0,  in sub192()  argument
449     z0 = a0 - b0;  in sub192()
527      uint64_t b0,  in mul128To256()  argument
539     mul64To128( a1, b0, &z1, &more2 );  in mul128To256()
541     mul64To128( a0, b0, &z0, &more1 );  in mul128To256()
564     uint64_t b0, b1;  in estimateDiv128To64()  local
569     b0 = b>>32;  in estimateDiv128To64()
570     z = ( b0<<32 <= a0 ) ? LIT64( 0xFFFFFFFF00000000 ) : ( a0 / b0 )<<32;  in estimateDiv128To64()
576         add128( rem0, rem1, b0, b1, &rem0, &rem1 );  in estimateDiv128To64()
579     z |= ( b0<<32 <= rem0 ) ? 0xFFFFFFFF : rem0 / b0;  in estimateDiv128To64()
705 INLINE flag eq128( uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1 )  in eq128()  argument
708     return ( a0 == b0 ) && ( a1 == b1 );  in eq128()
718 INLINE flag le128( uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1 )  in le128()  argument
721     return ( a0 < b0 ) || ( ( a0 == b0 ) && ( a1 <= b1 ) );  in le128()
731 INLINE flag lt128( uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1 )  in lt128()  argument
734     return ( a0 < b0 ) || ( ( a0 == b0 ) && ( a1 < b1 ) );  in lt128()
744 INLINE flag ne128( uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1 )  in ne128()  argument
747     return ( a0 != b0 ) || ( a1 != b1 );  in ne128()