16 	u64 x = a ^ b;  in eq_mask()  local
17 	u64 minus_x = ~x + (u64)1U;  in eq_mask()
18 	u64 x_or_minus_x = x | minus_x;  in eq_mask()
25 	u64 x = a;  in gte_mask()  local
27 	u64 x_xor_y = x ^ y;  in gte_mask()
28 	u64 x_sub_y = x - y;  in gte_mask()
31 	u64 x_xor_q = x ^ q;  in gte_mask()
85 		/* Step 1: Compute carry*38 */  in fadd()
87 		"  mov $38, %0;"  in fadd()
90 		/* Step 2: Add carry*38 to the original sum */  in fadd()
126 		/* Step 1: Compute carry*38 */  in fsub()
128 		"  mov $38, %%rcx;"  in fsub()
131 		/* Step 2: Subtract carry*38 from the original difference */  in fsub()
247 		/* Step 1: Compute dst + carry == tmp_hi * 38 + tmp_lo */  in fmul()
248 		"  mov $38, %%rdx;"  in fmul()
465 		/* Step 1: Compute dst + carry == tmp_hi * 38 + tmp_lo */  in fmul2()
466 		"  mov $38, %%rdx;"  in fmul2()
498 		/* Step 1: Compute dst + carry == tmp_hi * 38 + tmp_lo */  in fmul2()
499 		"  mov $38, %%rdx;"  in fmul2()
556 		/* Step 1: Compute carry*38 */  in fmul_scalar()
557 		"  mov $38, %%rdx;"  in fmul_scalar()
734 		/* Step 1: Compute dst + carry == tmp_hi * 38 + tmp_lo */  in fsqr()
735 		"  mov $38, %%rdx;"  in fsqr()
899 		/* Step 1: Compute dst + carry == tmp_hi * 38 + tmp_lo */  in fsqr2()
900 		"  mov $38, %%rdx;"  in fsqr2()
932 		/* Step 1: Compute dst + carry == tmp_hi * 38 + tmp_lo */  in fsqr2()
933 		"  mov $38, %%rdx;"  in fsqr2()
1208 	const u64 *x = i;  in encode_point()  local
1213 	fmul(tmp, tmp, x, tmp_w);  in encode_point()
1222 	u64 *x;  in curve25519_ever64()  local
1237 	x = init1;  in curve25519_ever64()
1243 	x[0U] = tmp[0U];  in curve25519_ever64()
1244 	x[1U] = tmp[1U];  in curve25519_ever64()
1245 	x[2U] = tmp[2U];  in curve25519_ever64()
1246 	x[3U] = tmp[3U];  in curve25519_ever64()
1259  * 	return "0x%016xULL, 0x%016xULL, 0x%016xULL, 0x%016xULL" % l