864 p256_add(p256_jacobian *P1, const p256_jacobian *P2)  in p256_add()  argument
885 	f256_montysquare(t3, P2->z);  in p256_add()
887 	f256_montymul(t4, P2->z, t3);  in p256_add()
894 	f256_montymul(t2, P2->x, t4);  in p256_add()
896 	f256_montymul(t4, P2->y, t5);  in p256_add()
936 	f256_montymul(t1, P1->z, P2->z);  in p256_add()
976 p256_add_mixed(p256_jacobian *P1, const p256_affine *P2)  in p256_add_mixed()  argument
1004 	f256_montymul(t2, P2->x, t4);  in p256_add_mixed()
1006 	f256_montymul(t4, P2->y, t5);  in p256_add_mixed()
1061 p256_add_complete_mixed(p256_jacobian *P1, const p256_affine *P2)
1127 	f256_montymul(t2, P2->x, t4);
1129 	f256_montymul(t4, P2->y, t5);
1183 	f256_add(t1, P2->y, P2->y);
1189 	f256_montysquare(t2, P2->y);
1192 	f256_montymul(t3, P2->x, t3);
1197 	f256_montysquare(t4, P2->x);
1234 		P1->x[i] ^= zz & (P1->x[i] ^ P2->x[i]);
1235 		P1->y[i] ^= zz & (P1->y[i] ^ P2->y[i]);