861 	uint32_t t1[9], t2[9], t3[9], t4[9], t5[9], t6[9], t7[9];  in p256_add()  local
878 	mul_f256(t5, P1->z, t4);  in p256_add()
879 	mul_f256(t4, P2->y, t5);  in p256_add()
896 	 * Compute u1*h^2 (in t6) and h^3 (in t5);  in p256_add()
900 	mul_f256(t5, t7, t2);  in p256_add()
906 	sub_f256(P1->x, P1->x, t5);  in p256_add()
915 	mul_f256(t1, t5, t3);  in p256_add()
972 	uint32_t t1[9], t2[9], t3[9], t4[9], t5[9], t6[9], t7[9];  in p256_add_mixed()  local
987 	mul_f256(t5, P1->z, t4);  in p256_add_mixed()
988 	mul_f256(t4, P2->y, t5);  in p256_add_mixed()
1005 	 * Compute u1*h^2 (in t6) and h^3 (in t5);  in p256_add_mixed()
1009 	mul_f256(t5, t7, t2);  in p256_add_mixed()
1015 	sub_f256(P1->x, P1->x, t5);  in p256_add_mixed()
1024 	mul_f256(t1, t5, t3);  in p256_add_mixed()