44 	u64 b0_ = b0 + 19 * (b4 >> 51);  in modulo_carry_top()  local
46 	b[0] = b0_;  in modulo_carry_top()
190 		u128 b0_;  in fmul_fmul()  local
201 		b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));  in fmul_fmul()
203 		t[0] = b0_;  in fmul_fmul()
248 	u128 b0_;  in fsquare_fsquare_()  local
258 	b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));  in fsquare_fsquare_()
260 	tmp[0] = b0_;  in fsquare_fsquare_()
399 	u128 b0_;  in fscalar()  local
424 	b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));  in fscalar()
426 	tmp[0] = b0_;  in fscalar()