899 	uint64_t t1[4], t2[4], t3[4], t4[4], t5[4], t6[4], t7[4], tt;  in p256_add()  local
915 	f256_montymul(t5, P1->z, t4);  in p256_add()
916 	f256_montymul(t4, P2->y, t5);  in p256_add()
935 	f256_montymul(t5, t7, t2);  in p256_add()
941 	f256_sub(P1->x, P1->x, t5);  in p256_add()
950 	f256_montymul(t1, t5, t3);  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
1025 	f256_montymul(t5, P1->z, t4);  in p256_add_mixed()
1026 	f256_montymul(t4, P2->y, t5);  in p256_add_mixed()
1045 	f256_montymul(t5, t7, t2);  in p256_add_mixed()
1051 	f256_sub(P1->x, P1->x, t5);  in p256_add_mixed()
1060 	f256_montymul(t1, t5, t3);  in p256_add_mixed()
1128 	uint64_t t1[4], t2[4], t3[4], t4[4], t5[4], t6[4], t7[4], tt, zz;
1148 	f256_montymul(t5, P1->z, t4);
1149 	f256_montymul(t4, P2->y, t5);
1172 	f256_montymul(t5, t7, t2);
1178 	f256_sub(P1->x, P1->x, t5);
1187 	f256_montymul(t1, t5, t3);
1217 	f256_add(t5, t4, t4);
1218 	f256_add(t4, t4, t5);
1223 	f256_montysquare(t5, t4);
1224 	f256_sub(t5, t3);
1225 	f256_sub(t5, t3);
1230 	f256_sub(t6, t3, t5);
1241 		P1->x[i] |= tt & t5[i];