322     uint64_t z0, z1, z2;  in shift128ExtraRightJamming()  local
326         z2 = a2;  in shift128ExtraRightJamming()
332             z2 = a1<<negCount;  in shift128ExtraRightJamming()
338                 z2 = a1;  in shift128ExtraRightJamming()
344                     z2 = a0<<negCount;  in shift128ExtraRightJamming()
348                     z2 = ( count == 128 ) ? a0 : ( a0 != 0 );  in shift128ExtraRightJamming()
354         z2 |= ( a2 != 0 );  in shift128ExtraRightJamming()
356     *z2Ptr = z2;  in shift128ExtraRightJamming()
414     uint64_t z0, z1, z2;  in shortShift192Left()  local
417     z2 = a2<<count;  in shortShift192Left()
425     *z2Ptr = z2;  in shortShift192Left()
540     uint64_t z0, z1, z2;  in mul128To256()  local
545     mul64To128(a1, b1, &z2, z3Ptr);  in mul128To256()
549     add192(m0, m1, m2, z0, z1, z2, z0Ptr, z1Ptr, z2Ptr);  in mul128To256()