899 	uint64_t t1[4], t2[4], t3[4], t4[4], t5[4], t6[4], t7[4], tt;  in p256_add()  local
933 	f256_montysquare(t7, t2);  in p256_add()
934 	f256_montymul(t6, t1, t7);  in p256_add()
935 	f256_montymul(t5, t7, t2);  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
1043 	f256_montysquare(t7, t2);  in p256_add_mixed()
1044 	f256_montymul(t6, t1, t7);  in p256_add_mixed()
1045 	f256_montymul(t5, t7, t2);  in p256_add_mixed()
1128 	uint64_t t1[4], t2[4], t3[4], t4[4], t5[4], t6[4], t7[4], tt, zz;
1170 	f256_montysquare(t7, t2);
1171 	f256_montymul(t6, t1, t7);
1172 	f256_montymul(t5, t7, t2);
1232 	f256_montysquare(t7, t2);
1233 	f256_sub(t6, t6, t7);
1234 	f256_sub(t6, t6, t7);