1017 	a1[0U] = c[0U];  in point_add_and_double()
1041 	a[0U] = c[0U];  in point_double()
1053 	u64 tmp2[16U] = { 0U };  in montgomery_ladder()
1054 	u64 p01_tmp1_swap[33U] = { 0U };  in montgomery_ladder()
1069 	memcpy(p11, init1, (u32)8U * sizeof(init1[0U]));  in montgomery_ladder()
1072 	x0[0U] = (u64)1U;  in montgomery_ladder()
1073 	x0[1U] = (u64)0U;  in montgomery_ladder()
1074 	x0[2U] = (u64)0U;  in montgomery_ladder()
1075 	x0[3U] = (u64)0U;  in montgomery_ladder()
1076 	z0[0U] = (u64)0U;  in montgomery_ladder()
1077 	z0[1U] = (u64)0U;  in montgomery_ladder()
1078 	z0[2U] = (u64)0U;  in montgomery_ladder()
1079 	z0[3U] = (u64)0U;  in montgomery_ladder()
1087 	swap1[0U] = (u64)1U;  in montgomery_ladder()
1090 		for (i = (u32)0U; i < (u32)251U; i = i + (u32)1U) {  in montgomery_ladder()
1096 			u64 sw = swap2[0U] ^ bit;  in montgomery_ladder()
1099 			swap2[0U] = bit;  in montgomery_ladder()
1102 	sw0 = swap1[0U];  in montgomery_ladder()
1109 	memcpy(out, p0, (u32)8U * sizeof(p0[0U]));  in montgomery_ladder()
1119 	for (i = (u32)0U; i < n1 - (u32)1U; i = i + (u32)1U)  in fsquare_times()
1125 	u64 t1[16U] = { 0U };  in finv()
1188 	f0 = f[0U];  in store_felem()
1205 	b[0U] = o0;  in store_felem()
1215 	u64 tmp[4U] = { 0U };  in encode_point()
1216 	u64 tmp_w[16U] = { 0U };  in encode_point()
1224 	u64 init1[8U] = { 0U };  in curve25519_ever64()
1225 	u64 tmp[4U] = { 0U };  in curve25519_ever64()
1231 		for (i = (u32)0U; i < (u32)4U; i = i + (u32)1U) {  in curve25519_ever64()
1244 	z[0U] = (u64)1U;  in curve25519_ever64()
1245 	z[1U] = (u64)0U;  in curve25519_ever64()
1246 	z[2U] = (u64)0U;  in curve25519_ever64()
1247 	z[3U] = (u64)0U;  in curve25519_ever64()
1248 	x[0U] = tmp[0U];  in curve25519_ever64()