134 static int vli_cmp(const u64 *left, const u64 *right)  in vli_cmp()  argument
139 	    if (left[i] > right[i])  in vli_cmp()
141 	    else if (left[i] < right[i])  in vli_cmp()
183 static u64 vli_add(u64 *result, const u64 *left,  in vli_add()  argument
192 		sum = left[i] + right[i] + carry;  in vli_add()
193 		if (sum != left[i])  in vli_add()
194 			carry = (sum < left[i]);  in vli_add()
203 static u64 vli_sub(u64 *result, const u64 *left, const u64 *right)  in vli_sub()  argument
211 		diff = left[i] - right[i] - borrow;  in vli_sub()
212 		if (diff != left[i])  in vli_sub()
213 			borrow = (diff > left[i]);  in vli_sub()
221 static uint128_t mul_64_64(u64 left, u64 right)  in mul_64_64()  argument
223 	u64 a0 = left & 0xffffffffull;  in mul_64_64()
224 	u64 a1 = left >> 32;  in mul_64_64()
256 static void vli_mult(u64 *result, const u64 *left, const u64 *right)  in vli_mult()  argument
276 			product = mul_64_64(left[i], right[k - i]);  in vli_mult()
291 static void vli_square(u64 *result, const u64 *left)  in vli_square()  argument
308 			product = mul_64_64(left[i], left[k - i]);  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()
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()
441 static void vli_mod_mult_fast(u64 *result, const u64 *left, const u64 *right)  in vli_mod_mult_fast()  argument
445 	vli_mult(product, left, right);  in vli_mod_mult_fast()
450 static void vli_mod_square_fast(u64 *result, const u64 *left)  in vli_mod_square_fast()  argument
454 	vli_square(product, left);  in vli_mod_square_fast()