603 	u64 tmp[2 * ECC_MAX_DIGITS];  in vli_mmod_slow()  local
604 	u64 *v[2] = { tmp, product };  in vli_mmod_slow()
676 			      const u64 *curve_prime, u64 *tmp)  in vli_mmod_fast_192()  argument
683 	vli_set(tmp, &product[3], ndigits);  in vli_mmod_fast_192()
684 	carry = vli_add(result, result, tmp, ndigits);  in vli_mmod_fast_192()
686 	tmp[0] = 0;  in vli_mmod_fast_192()
687 	tmp[1] = product[3];  in vli_mmod_fast_192()
688 	tmp[2] = product[4];  in vli_mmod_fast_192()
689 	carry += vli_add(result, result, tmp, ndigits);  in vli_mmod_fast_192()
691 	tmp[0] = tmp[1] = product[5];  in vli_mmod_fast_192()
692 	tmp[2] = 0;  in vli_mmod_fast_192()
693 	carry += vli_add(result, result, tmp, ndigits);  in vli_mmod_fast_192()
703 			      const u64 *curve_prime, u64 *tmp)  in vli_mmod_fast_256()  argument
712 	tmp[0] = 0;  in vli_mmod_fast_256()
713 	tmp[1] = product[5] & 0xffffffff00000000ull;  in vli_mmod_fast_256()
714 	tmp[2] = product[6];  in vli_mmod_fast_256()
715 	tmp[3] = product[7];  in vli_mmod_fast_256()
716 	carry = vli_lshift(tmp, tmp, 1, ndigits);  in vli_mmod_fast_256()
717 	carry += vli_add(result, result, tmp, ndigits);  in vli_mmod_fast_256()
720 	tmp[1] = product[6] << 32;  in vli_mmod_fast_256()
721 	tmp[2] = (product[6] >> 32) | (product[7] << 32);  in vli_mmod_fast_256()
722 	tmp[3] = product[7] >> 32;  in vli_mmod_fast_256()
723 	carry += vli_lshift(tmp, tmp, 1, ndigits);  in vli_mmod_fast_256()
724 	carry += vli_add(result, result, tmp, ndigits);  in vli_mmod_fast_256()
727 	tmp[0] = product[4];  in vli_mmod_fast_256()
728 	tmp[1] = product[5] & 0xffffffff;  in vli_mmod_fast_256()
729 	tmp[2] = 0;  in vli_mmod_fast_256()
730 	tmp[3] = product[7];  in vli_mmod_fast_256()
731 	carry += vli_add(result, result, tmp, ndigits);  in vli_mmod_fast_256()
734 	tmp[0] = (product[4] >> 32) | (product[5] << 32);  in vli_mmod_fast_256()
735 	tmp[1] = (product[5] >> 32) | (product[6] & 0xffffffff00000000ull);  in vli_mmod_fast_256()
736 	tmp[2] = product[7];  in vli_mmod_fast_256()
737 	tmp[3] = (product[6] >> 32) | (product[4] << 32);  in vli_mmod_fast_256()
738 	carry += vli_add(result, result, tmp, ndigits);  in vli_mmod_fast_256()
741 	tmp[0] = (product[5] >> 32) | (product[6] << 32);  in vli_mmod_fast_256()
742 	tmp[1] = (product[6] >> 32);  in vli_mmod_fast_256()
743 	tmp[2] = 0;  in vli_mmod_fast_256()
744 	tmp[3] = (product[4] & 0xffffffff) | (product[5] << 32);  in vli_mmod_fast_256()
745 	carry -= vli_sub(result, result, tmp, ndigits);  in vli_mmod_fast_256()
748 	tmp[0] = product[6];  in vli_mmod_fast_256()
749 	tmp[1] = product[7];  in vli_mmod_fast_256()
750 	tmp[2] = 0;  in vli_mmod_fast_256()
751 	tmp[3] = (product[4] >> 32) | (product[5] & 0xffffffff00000000ull);  in vli_mmod_fast_256()
752 	carry -= vli_sub(result, result, tmp, ndigits);  in vli_mmod_fast_256()
755 	tmp[0] = (product[6] >> 32) | (product[7] << 32);  in vli_mmod_fast_256()
756 	tmp[1] = (product[7] >> 32) | (product[4] << 32);  in vli_mmod_fast_256()
757 	tmp[2] = (product[4] >> 32) | (product[5] << 32);  in vli_mmod_fast_256()
758 	tmp[3] = (product[6] << 32);  in vli_mmod_fast_256()
759 	carry -= vli_sub(result, result, tmp, ndigits);  in vli_mmod_fast_256()
762 	tmp[0] = product[7];  in vli_mmod_fast_256()
763 	tmp[1] = product[4] & 0xffffffff00000000ull;  in vli_mmod_fast_256()
764 	tmp[2] = product[5];  in vli_mmod_fast_256()
765 	tmp[3] = product[6] & 0xffffffff00000000ull;  in vli_mmod_fast_256()
766 	carry -= vli_sub(result, result, tmp, ndigits);  in vli_mmod_fast_256()
786 	u64 tmp[2 * ECC_MAX_DIGITS];  in vli_mmod_fast()  local
807 		vli_mmod_fast_192(result, product, curve_prime, tmp);  in vli_mmod_fast()
810 		vli_mmod_fast_256(result, product, curve_prime, tmp);  in vli_mmod_fast()