85 	uint64_t m, w;  in f255_cswap()  local
88 	w = m & (a[0] ^ b[0]); a[0] ^= w; b[0] ^= w;  in f255_cswap()
89 	w = m & (a[1] ^ b[1]); a[1] ^= w; b[1] ^= w;  in f255_cswap()
90 	w = m & (a[2] ^ b[2]); a[2] ^= w; b[2] ^= w;  in f255_cswap()
91 	w = m & (a[3] ^ b[3]); a[3] ^= w; b[3] ^= w;  in f255_cswap()
92 	w = m & (a[4] ^ b[4]); a[4] ^= w; b[4] ^= w;  in f255_cswap()
118 	uint64_t cc, w;  in f255_sub()  local
131 	w = a[0] - b[0] - 19456;  in f255_sub()
132 	d[0] = w & MASK51;  in f255_sub()
133 	cc = -(w >> 51) & 0x3FF;  in f255_sub()
134 	w = a[1] - b[1] - cc;  in f255_sub()
135 	d[1] = w & MASK51;  in f255_sub()
136 	cc = -(w >> 51) & 0x3FF;  in f255_sub()
137 	w = a[2] - b[2] - cc;  in f255_sub()
138 	d[2] = w & MASK51;  in f255_sub()
139 	cc = -(w >> 51) & 0x3FF;  in f255_sub()
140 	w = a[3] - b[3] - cc;  in f255_sub()
141 	d[3] = w & MASK51;  in f255_sub()
142 	cc = -(w >> 51) & 0x3FF;  in f255_sub()
192 	uint64_t t[10], hi, lo, w, cc;  in f255_mul()  local
256 	w = t[0];  in f255_mul()
257 	d[0] = w & MASK51;  in f255_mul()
258 	cc = w >> 51;  in f255_mul()
259 	w = t[1] + cc;  in f255_mul()
260 	d[1] = w & MASK51;  in f255_mul()
261 	cc = w >> 51;  in f255_mul()
262 	w = t[2] + cc;  in f255_mul()
263 	d[2] = w & MASK51;  in f255_mul()
264 	cc = w >> 51;  in f255_mul()
265 	w = t[3] + cc;  in f255_mul()
266 	d[3] = w & MASK51;  in f255_mul()
267 	cc = w >> 51;  in f255_mul()
268 	w = t[4] + cc;  in f255_mul()
269 	d[4] = w & MASK51;  in f255_mul()
270 	cc = w >> 51;  in f255_mul()
287 	uint64_t t[5], cc, w;  in f255_mul_a24()  local
293 	w = a[0] * 15;  in f255_mul_a24()
294 	t[0] = w & MASK51;  in f255_mul_a24()
295 	cc = w >> 51;  in f255_mul_a24()
296 	w = a[1] * 15 + cc;  in f255_mul_a24()
297 	t[1] = w & MASK51;  in f255_mul_a24()
298 	cc = w >> 51;  in f255_mul_a24()
299 	w = a[2] * 15 + cc;  in f255_mul_a24()
300 	t[2] = w & MASK51;  in f255_mul_a24()
301 	cc = w >> 51;  in f255_mul_a24()
302 	w = a[3] * 15 + cc;  in f255_mul_a24()
303 	t[3] = w & MASK51;  in f255_mul_a24()
304 	cc = w >> 51;  in f255_mul_a24()
305 	w = a[4] * 15 + cc;  in f255_mul_a24()
306 	t[4] = w & MASK51;  in f255_mul_a24()
307 	t[0] += 19 * (w >> 51);  in f255_mul_a24()
314 	w = t[0] * 8111;  in f255_mul_a24()
315 	d[0] = w & MASK51;  in f255_mul_a24()
316 	cc = w >> 51;  in f255_mul_a24()
317 	w = t[1] * 8111 + cc;  in f255_mul_a24()
318 	d[1] = w & MASK51;  in f255_mul_a24()
319 	cc = w >> 51;  in f255_mul_a24()
320 	w = t[2] * 8111 + cc;  in f255_mul_a24()
321 	d[2] = w & MASK51;  in f255_mul_a24()
322 	cc = w >> 51;  in f255_mul_a24()
323 	w = t[3] * 8111 + cc;  in f255_mul_a24()
324 	d[3] = w & MASK51;  in f255_mul_a24()
325 	cc = w >> 51;  in f255_mul_a24()
326 	w = t[4] * 8111 + cc;  in f255_mul_a24()
327 	d[4] = w & MASK51;  in f255_mul_a24()
328 	d[0] += 19 * (w >> 51);  in f255_mul_a24()
339 	uint64_t t[5], cc, w;  in f255_final_reduce()  local
347 	w = a[0] + 19;  in f255_final_reduce()
348 	t[0] = w & MASK51;  in f255_final_reduce()
349 	cc = w >> 51;  in f255_final_reduce()
350 	w = a[1] + cc;  in f255_final_reduce()
351 	t[1] = w & MASK51;  in f255_final_reduce()
352 	cc = w >> 51;  in f255_final_reduce()
353 	w = a[2] + cc;  in f255_final_reduce()
354 	t[2] = w & MASK51;  in f255_final_reduce()
355 	cc = w >> 51;  in f255_final_reduce()
356 	w = a[3] + cc;  in f255_final_reduce()
357 	t[3] = w & MASK51;  in f255_final_reduce()
358 	cc = w >> 51;  in f255_final_reduce()
359 	w = a[4] + cc;  in f255_final_reduce()
360 	t[4] = w & MASK51;  in f255_final_reduce()
361 	cc = w >> 51;  in f255_final_reduce()