43   uint32_t t2[KEY_LENGTH_DWORDS_P256];  in ECC_Double()  local
65   multiprecision_sub_mod(t2, x1, t1, keyLength);            // t2=x1-t1  in ECC_Double()
67   multiprecision_mersenns_mult_mod(t2, t1, t2, keyLength);  // t2=t2*t1  in ECC_Double()
68   multiprecision_lshift_mod(t3, t2, keyLength);  in ECC_Double()
69   multiprecision_add_mod(t2, t3, t2, keyLength);  // t2=3t2  in ECC_Double()
81   multiprecision_mersenns_squa_mod(x3, t2, keyLength);      // x3=t2^2  in ECC_Double()
85   multiprecision_mersenns_mult_mod(t1, t1, t2, keyLength);  // t1=t1*t2  in ECC_Double()
92   uint32_t t2[KEY_LENGTH_DWORDS_P256];  in ECC_Add()  local
126   multiprecision_mersenns_mult_mod(t2, z1, t1, keyLength);  // t2=t1*z1  in ECC_Add()
128   multiprecision_mersenns_mult_mod(t2, y2, t2, keyLength);  // t2=t2*y2  in ECC_Add()
131   multiprecision_sub_mod(t2, t2, y1, keyLength);  // t2=t2-y1  in ECC_Add()
134     if (multiprecision_iszero(t2, keyLength)) {  in ECC_Add()
148   multiprecision_mersenns_squa_mod(x3, t2, keyLength);      // x3=t2^2  in ECC_Add()
152   multiprecision_mersenns_mult_mod(y3, y3, t2, keyLength);  // t3=t3*t2  in ECC_Add()