151 static u64 vli_lshift(u64 *result, const u64 *in,  in vli_lshift()  argument
160 		result[i] = (temp << shift) | carry;  in vli_lshift()
183 static u64 vli_add(u64 *result, const u64 *left,  in vli_add()  argument
196 		result[i] = sum;  in vli_add()
203 static u64 vli_sub(u64 *result, const u64 *left, const u64 *right)  in vli_sub()  argument
215 		result[i] = diff;  in vli_sub()
231 	uint128_t result;  in mul_64_64()  local
240 	result.m_low = (m0 & 0xffffffffull) | (m2 << 32);  in mul_64_64()
241 	result.m_high = m3 + (m2 >> 32);  in mul_64_64()
243 	return result;  in mul_64_64()
248 	uint128_t result;  in add_128_128()  local
250 	result.m_low = a.m_low + b.m_low;  in add_128_128()
251 	result.m_high = a.m_high + b.m_high + (result.m_low < a.m_low);  in add_128_128()
253 	return result;  in add_128_128()
256 static void vli_mult(u64 *result, const u64 *left, const u64 *right)  in vli_mult()  argument
282 		result[k] = r01.m_low;  in vli_mult()
288 	result[NUM_ECC_DIGITS * 2 - 1] = r01.m_low;  in vli_mult()
291 static void vli_square(u64 *result, const u64 *left)  in vli_square()  argument
321 		result[k] = r01.m_low;  in vli_square()
327 	result[NUM_ECC_DIGITS * 2 - 1] = r01.m_low;  in vli_square()
333 static void vli_mod_add(u64 *result, const u64 *left, const u64 *right,  in vli_mod_add()  argument
338 	carry = vli_add(result, left, right);  in vli_mod_add()
343 	if (carry || vli_cmp(result, mod) >= 0)  in vli_mod_add()
344 		vli_sub(result, result, mod);  in vli_mod_add()
350 static void vli_mod_sub(u64 *result, const u64 *left, const u64 *right,  in vli_mod_sub()  argument
353 	u64 borrow = vli_sub(result, left, right);  in vli_mod_sub()
360 		vli_add(result, result, mod);  in vli_mod_sub()
365 static void vli_mmod_fast(u64 *result, const u64 *product)  in vli_mmod_fast()  argument
371 	vli_set(result, product);  in vli_mmod_fast()
379 	carry += vli_add(result, result, tmp);  in vli_mmod_fast()
386 	carry += vli_add(result, result, tmp);  in vli_mmod_fast()
393 	carry += vli_add(result, result, tmp);  in vli_mmod_fast()
400 	carry += vli_add(result, result, tmp);  in vli_mmod_fast()
407 	carry -= vli_sub(result, result, tmp);  in vli_mmod_fast()
414 	carry -= vli_sub(result, result, tmp);  in vli_mmod_fast()
421 	carry -= vli_sub(result, result, tmp);  in vli_mmod_fast()
428 	carry -= vli_sub(result, result, tmp);  in vli_mmod_fast()
432 			carry += vli_add(result, result, curve_p);  in vli_mmod_fast()
435 		while (carry || vli_cmp(curve_p, result) != 1)  in vli_mmod_fast()
436 			carry -= vli_sub(result, result, curve_p);  in vli_mmod_fast()
441 static void vli_mod_mult_fast(u64 *result, const u64 *left, const u64 *right)  in vli_mod_mult_fast()  argument
446 	vli_mmod_fast(result, product);  in vli_mod_mult_fast()
450 static void vli_mod_square_fast(u64 *result, const u64 *left)  in vli_mod_square_fast()  argument
455 	vli_mmod_fast(result, product);  in vli_mod_square_fast()
463 static void vli_mod_inv(u64 *result, const u64 *input, const u64 *mod)  in vli_mod_inv()  argument
471 		vli_clear(result);  in vli_mod_inv()
533 	vli_set(result, u);  in vli_mod_inv()
689 static void ecc_point_mult(struct ecc_point *result,  in ecc_point_mult()  argument
726 	vli_set(result->x, rx[0]);  in ecc_point_mult()
727 	vli_set(result->y, ry[0]);  in ecc_point_mult()