319      uint64_t *z2Ptr  in shift128ExtraRightJamming()  argument
356     *z2Ptr = z2;  in shift128ExtraRightJamming()
411      uint64_t *z2Ptr  in shortShift192Left()  argument
425     *z2Ptr = z2;  in shortShift192Left()
456                           uint64_t *z0Ptr, uint64_t *z1Ptr, uint64_t *z2Ptr)  in add192()  argument
459     *z2Ptr = uadd64_carry(a2, b2, &c);  in add192()
490                           uint64_t *z0Ptr, uint64_t *z1Ptr, uint64_t *z2Ptr)  in sub192()  argument
493     *z2Ptr = usub64_borrow(a2, b2, &c);  in sub192()
519                 uint64_t *z0Ptr, uint64_t *z1Ptr, uint64_t *z2Ptr)  in mul128By64To192()  argument
523     mul64To128(a1, b, &m1, z2Ptr);  in mul128By64To192()
538                                uint64_t *z2Ptr, uint64_t *z3Ptr)  in mul128To256()  argument
549     add192(m0, m1, m2, z0, z1, z2, z0Ptr, z1Ptr, z2Ptr);  in mul128To256()