196 static void felem_reduce_carry(felem inout, limb carry) {  in felem_reduce_carry()  argument
197   const u32 carry_mask = NON_ZERO_TO_ALL_ONES(carry);  in felem_reduce_carry()
199   inout[0] += carry << 1;  in felem_reduce_carry()
203   inout[3] -= carry << 11;  in felem_reduce_carry()
207   inout[6] -= carry << 22;  in felem_reduce_carry()
211   inout[7] += carry << 25;  in felem_reduce_carry()
219   limb carry = 0;  in felem_sum()  local
224     out[i] += carry;  in felem_sum()
225     carry = out[i] >> 29;  in felem_sum()
233     out[i] += carry;  in felem_sum()
234     carry = out[i] >> 28;  in felem_sum()
238   felem_reduce_carry(out, carry);  in felem_sum()
257   limb carry = 0;  in felem_diff()  local
263     out[i] += carry;  in felem_diff()
264     carry = out[i] >> 29;  in felem_diff()
273     out[i] += carry;  in felem_diff()
274     carry = out[i] >> 28;  in felem_diff()
278   felem_reduce_carry(out, carry);  in felem_diff()
298   limb tmp2[18], carry, x, xMask;  in felem_reduce_degree()  local
314   carry = tmp2[1] >> 28;  in felem_reduce_degree()
322     tmp2[i] += carry;  in felem_reduce_degree()
323     carry = tmp2[i] >> 29;  in felem_reduce_degree()
333     tmp2[i] += carry;  in felem_reduce_degree()
334     carry = tmp2[i] >> 28;  in felem_reduce_degree()
341   tmp2[17] += carry;  in felem_reduce_degree()
450   carry = 0;  in felem_reduce_degree()
456     out[i] += carry;  in felem_reduce_degree()
458     carry = out[i] >> 29;  in felem_reduce_degree()
463     out[i] += carry;  in felem_reduce_degree()
464     carry = out[i] >> 28;  in felem_reduce_degree()
469   out[8] += carry;  in felem_reduce_degree()
470   carry = out[8] >> 29;  in felem_reduce_degree()
473   felem_reduce_carry(out, carry);  in felem_reduce_degree()
675   limb carry = 0;  in felem_scalar_3()  local
680     out[i] += carry;  in felem_scalar_3()
681     carry = out[i] >> 29;  in felem_scalar_3()
689     out[i] += carry;  in felem_scalar_3()
690     carry = out[i] >> 28;  in felem_scalar_3()
694   felem_reduce_carry(out, carry);  in felem_scalar_3()
702   limb carry = 0, next_carry;  in felem_scalar_4()  local
709     out[i] += carry;  in felem_scalar_4()
710     carry = next_carry + (out[i] >> 29);  in felem_scalar_4()
720     out[i] += carry;  in felem_scalar_4()
721     carry = next_carry + (out[i] >> 28);  in felem_scalar_4()
725   felem_reduce_carry(out, carry);  in felem_scalar_4()
733   limb carry = 0, next_carry;  in felem_scalar_8()  local
740     out[i] += carry;  in felem_scalar_8()
741     carry = next_carry + (out[i] >> 29);  in felem_scalar_8()
751     out[i] += carry;  in felem_scalar_8()
752     carry = next_carry + (out[i] >> 28);  in felem_scalar_8()
756   felem_reduce_carry(out, carry);  in felem_scalar_8()
762   limb carry;  in felem_is_zero_vartime()  local
770     carry = 0;  in felem_is_zero_vartime()
772       tmp[i] += carry;  in felem_is_zero_vartime()
773       carry = tmp[i] >> 29;  in felem_is_zero_vartime()
780       tmp[i] += carry;  in felem_is_zero_vartime()
781       carry = tmp[i] >> 28;  in felem_is_zero_vartime()
785     felem_reduce_carry(tmp, carry);  in felem_is_zero_vartime()
786   } while (carry);  in felem_is_zero_vartime()