66   int64_t h7 = load_3(s + 23) << 5;  in fe_frombytes()  local
84   carry7 = (h7 + (int64_t) (1<<24)) >> 25; h8 += carry7; h7 -= carry7 << 25;  in fe_frombytes()
89   carry6 = (h6 + (int64_t) (1<<25)) >> 26; h7 += carry6; h6 -= carry6 << 26;  in fe_frombytes()
99   h[7] = h7;  in fe_frombytes()
134   int32_t h7 = h[7];  in fe_tobytes()  local
157   q = (h7 + q) >> 25;  in fe_tobytes()
171   carry6 = h6 >> 26; h7 += carry6; h6 -= carry6 << 26;  in fe_tobytes()
172   carry7 = h7 >> 25; h8 += carry7; h7 -= carry7 << 25;  in fe_tobytes()
204   s[22] = (h6 >> 23) | (h7 << 3);  in fe_tobytes()
205   s[23] = h7 >> 5;  in fe_tobytes()
206   s[24] = h7 >> 13;  in fe_tobytes()
207   s[25] = (h7 >> 21) | (h8 << 4);  in fe_tobytes()
431   int64_t h7 = f0g7+f1g6   +f2g5   +f3g4   +f4g3   +f5g2   +f6g1   +f7g0   +f8g9_19+f9g8_19;  in fe_mul()  local
465   carry6 = (h6 + (int64_t) (1<<25)) >> 26; h7 += carry6; h6 -= carry6 << 26;  in fe_mul()
472   carry7 = (h7 + (int64_t) (1<<24)) >> 25; h8 += carry7; h7 -= carry7 << 25;  in fe_mul()
500   h[7] = h7;  in fe_mul()
601   int64_t h7 = f0f7_2+f1f6_2 +f2f5_2 +f3f4_2 +f8f9_38;  in fe_sq()  local
622   carry6 = (h6 + (int64_t) (1<<25)) >> 26; h7 += carry6; h6 -= carry6 << 26;  in fe_sq()
625   carry7 = (h7 + (int64_t) (1<<24)) >> 25; h8 += carry7; h7 -= carry7 << 25;  in fe_sq()
641   h[7] = h7;  in fe_sq()
858   int64_t h7 = f0f7_2+f1f6_2 +f2f5_2 +f3f4_2 +f8f9_38;  in fe_sq2()  local
879   h7 += h7;  in fe_sq2()
890   carry6 = (h6 + (int64_t) (1<<25)) >> 26; h7 += carry6; h6 -= carry6 << 26;  in fe_sq2()
893   carry7 = (h7 + (int64_t) (1<<24)) >> 25; h8 += carry7; h7 -= carry7 << 25;  in fe_sq2()
909   h[7] = h7;  in fe_sq2()
4738   int64_t h7 = f7 * (int64_t) 121666;  in fe_mul121666()  local
4756   carry7 = (h7 + (int64_t) (1<<24)) >> 25; h8 += carry7; h7 -= carry7 << 25;  in fe_mul121666()
4761   carry6 = (h6 + (int64_t) (1<<25)) >> 26; h7 += carry6; h6 -= carry6 << 26;  in fe_mul121666()
4771   h[7] = h7;  in fe_mul121666()