879 	uint64_t t1[5], t2[5], t3[5], t4[5], t5[5], t6[5], t7[5], tt;  in p256_add()  local
913 	f256_montysquare(t7, t2);  in p256_add()
914 	f256_montymul(t6, t1, t7);  in p256_add()
915 	f256_montymul(t5, t7, t2);  in p256_add()
991 	uint64_t t1[5], t2[5], t3[5], t4[5], t5[5], t6[5], t7[5], tt;  in p256_add_mixed()  local
1023 	f256_montysquare(t7, t2);  in p256_add_mixed()
1024 	f256_montymul(t6, t1, t7);  in p256_add_mixed()
1025 	f256_montymul(t5, t7, t2);  in p256_add_mixed()
1108 	uint64_t t1[5], t2[5], t3[5], t4[5], t5[5], t6[5], t7[5], tt, zz;
1151 	f256_montysquare(t7, t2);
1152 	f256_montymul(t6, t1, t7);
1153 	f256_montymul(t5, t7, t2);
1214 	f256_montysquare(t7, t2);
1215 	f256_sub(t6, t6, t7);
1216 	f256_sub(t6, t6, t7);