120      uint64_t a0, uint64_t a1, int16 count, uint64_t *z0Ptr, uint64_t *z1Ptr )  in shift64ExtraRightJamming()
157      uint64_t a0, uint64_t a1, int16 count, uint64_t *z0Ptr, uint64_t *z1Ptr )  in shift128Right()
192      uint64_t a0, uint64_t a1, int16 count, uint64_t *z0Ptr, uint64_t *z1Ptr )  in shift128RightJamming()
244      uint64_t a1,  in shift128ExtraRightJamming()
301      uint64_t a0, uint64_t a1, int16 count, uint64_t *z0Ptr, uint64_t *z1Ptr )  in shortShift128Left()
321      uint64_t a1,  in shortShift192Left()
355      uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1, uint64_t *z0Ptr, uint64_t *z1Ptr )  in add128()
376      uint64_t a1,  in add192()
413      uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1, uint64_t *z0Ptr, uint64_t *z1Ptr )  in sub128()
432      uint64_t a1,  in sub192()
498      uint64_t a1,  in mul128By64To192()
526      uint64_t a1,  in mul128To256()
562 static uint64_t estimateDiv128To64( uint64_t a0, uint64_t a1, uint64_t b )  in estimateDiv128To64()
705 INLINE flag eq128( uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1 )  in eq128()
718 INLINE flag le128( uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1 )  in le128()
731 INLINE flag lt128( uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1 )  in lt128()
744 INLINE flag ne128( uint64_t a0, uint64_t a1, uint64_t b0, uint64_t b1 )  in ne128()