70      bits32 a0, bits32 a1, int16 count, bits32 *z0Ptr, bits32 *z1Ptr )  in shift64Right()
106      bits32 a0, bits32 a1, int16 count, bits32 *z0Ptr, bits32 *z1Ptr )  in shift64RightJamming()
159      bits32 a1,  in shift64ExtraRightJamming()
217      bits32 a0, bits32 a1, int16 count, bits32 *z0Ptr, bits32 *z1Ptr )  in shortShift64Left()
238      bits32 a1,  in shortShift96Left()
273      bits32 a0, bits32 a1, bits32 b0, bits32 b1, bits32 *z0Ptr, bits32 *z1Ptr )  in add64()
295      bits32 a1,  in add96()
333      bits32 a0, bits32 a1, bits32 b0, bits32 b1, bits32 *z0Ptr, bits32 *z1Ptr )  in sub64()
353      bits32 a1,  in sub96()
422      bits32 a1,  in mul64By32To96()
451      bits32 a1,  in mul64To128()
488 static bits32 estimateDiv64To32( bits32 a0, bits32 a1, bits32 b )  in estimateDiv64To32()
601 static __inline flag eq64( bits32 a0, bits32 a1, bits32 b0, bits32 b1 )  in eq64()
615 static __inline flag le64( bits32 a0, bits32 a1, bits32 b0, bits32 b1 )  in le64()
629 static __inline flag lt64( bits32 a0, bits32 a1, bits32 b0, bits32 b1 )  in lt64()
643 static __inline flag ne64( bits32 a0, bits32 a1, bits32 b0, bits32 b1 )  in ne64()