899 	uint64_t t1[4], t2[4], t3[4], t4[4], t5[4], t6[4], t7[4], tt;  in p256_add()  local
934 	f256_montymul(t6, t1, t7);  in p256_add()
942 	f256_sub(P1->x, P1->x, t6);  in p256_add()
943 	f256_sub(P1->x, P1->x, t6);  in p256_add()
948 	f256_sub(t6, t6, P1->x);  in p256_add()
949 	f256_montymul(P1->y, t4, t6);  in p256_add()
1011 	uint64_t t1[4], t2[4], t3[4], t4[4], t5[4], t6[4], t7[4], tt;  in p256_add_mixed()  local
1044 	f256_montymul(t6, t1, t7);  in p256_add_mixed()
1052 	f256_sub(P1->x, P1->x, t6);  in p256_add_mixed()
1053 	f256_sub(P1->x, P1->x, t6);  in p256_add_mixed()
1058 	f256_sub(t6, t6, P1->x);  in p256_add_mixed()
1059 	f256_montymul(P1->y, t4, t6);  in p256_add_mixed()
1128 	uint64_t t1[4], t2[4], t3[4], t4[4], t5[4], t6[4], t7[4], tt, zz;
1171 	f256_montymul(t6, t1, t7);
1179 	f256_sub(P1->x, P1->x, t6);
1180 	f256_sub(P1->x, P1->x, t6);
1185 	f256_sub(t6, t6, P1->x);
1186 	f256_montymul(P1->y, t4, t6);
1230 	f256_sub(t6, t3, t5);
1231 	f256_montymul(t6, t6, t4);
1233 	f256_sub(t6, t6, t7);
1234 	f256_sub(t6, t6, t7);
1242 		P1->y[i] |= tt & t6[i];