21 	u64 x = a ^ b;  in eq_mask()  local
22 	u64 minus_x = ~x + (u64)1U;  in eq_mask()
23 	u64 x_or_minus_x = x | minus_x;  in eq_mask()
30 	u64 x = a;  in gte_mask()  local
32 	u64 x_xor_y = x ^ y;  in gte_mask()
33 	u64 x_sub_y = x - y;  in gte_mask()
36 	u64 x_xor_q = x ^ q;  in gte_mask()
90 		/* Step 1: Compute carry*38 */  in fadd()
92 		"  mov $38, %0;"  in fadd()
95 		/* Step 2: Add carry*38 to the original sum */  in fadd()
131 		/* Step 1: Compute carry*38 */  in fsub()
133 		"  mov $38, %%rcx;"  in fsub()
136 		/* Step 2: Subtract carry*38 from the original difference */  in fsub()
252 		/* Step 1: Compute dst + carry == tmp_hi * 38 + tmp_lo */  in fmul()
253 		"  mov $38, %%rdx;"  in fmul()
470 		/* Step 1: Compute dst + carry == tmp_hi * 38 + tmp_lo */  in fmul2()
471 		"  mov $38, %%rdx;"  in fmul2()
503 		/* Step 1: Compute dst + carry == tmp_hi * 38 + tmp_lo */  in fmul2()
504 		"  mov $38, %%rdx;"  in fmul2()
561 		/* Step 1: Compute carry*38 */  in fmul_scalar()
562 		"  mov $38, %%rdx;"  in fmul_scalar()
739 		/* Step 1: Compute dst + carry == tmp_hi * 38 + tmp_lo */  in fsqr()
740 		"  mov $38, %%rdx;"  in fsqr()
904 		/* Step 1: Compute dst + carry == tmp_hi * 38 + tmp_lo */  in fsqr2()
905 		"  mov $38, %%rdx;"  in fsqr2()
937 		/* Step 1: Compute dst + carry == tmp_hi * 38 + tmp_lo */  in fsqr2()
938 		"  mov $38, %%rdx;"  in fsqr2()
1213 	const u64 *x = i;  in encode_point()  local
1218 	fmul(tmp, tmp, x, tmp_w);  in encode_point()
1227 	u64 *x;  in curve25519_ever64()  local
1242 	x = init1;  in curve25519_ever64()
1248 	x[0U] = tmp[0U];  in curve25519_ever64()
1249 	x[1U] = tmp[1U];  in curve25519_ever64()
1250 	x[2U] = tmp[2U];  in curve25519_ever64()
1251 	x[3U] = tmp[3U];  in curve25519_ever64()
1264  * 	return "0x%016xULL, 0x%016xULL, 0x%016xULL, 0x%016xULL" % l