68 	mp_digit r0, r1, r2, r3, r4, r5, r6, r7;  in ec_GFp_nistp256_mod()  local
73 	mp_digit r0, r1, r2, r3;  in ec_GFp_nistp256_mod()  local
107 		r1 = MP_DIGIT(a,1);  in ec_GFp_nistp256_mod()
137 		MP_ADD_CARRY(r1, a9,  r1, carry, carry);  in ec_GFp_nistp256_mod()
151 		MP_ADD_CARRY(r1, a10, r1, carry, carry);  in ec_GFp_nistp256_mod()
161 		MP_SUB_BORROW(r1, a12, r1, carry, carry);  in ec_GFp_nistp256_mod()
171 		MP_SUB_BORROW(r1, a13, r1, carry, carry);  in ec_GFp_nistp256_mod()
181 		MP_SUB_BORROW(r1, a14, r1, carry, carry);  in ec_GFp_nistp256_mod()
191 		MP_SUB_BORROW(r1, a15, r1, carry, carry);  in ec_GFp_nistp256_mod()
204 			MP_ADD_CARRY(r1, 0,            r1, carry, carry);  in ec_GFp_nistp256_mod()
218 			MP_SUB_BORROW(r1, 0,            r1, carry, carry);  in ec_GFp_nistp256_mod()
239 		MP_DIGIT(r,1) = r1;  in ec_GFp_nistp256_mod()
246 				((r2 == MP_DIGIT_MAX) && (r1 == MP_DIGIT_MAX)  in ec_GFp_nistp256_mod()
290 		r1 = MP_DIGIT(a,1);  in ec_GFp_nistp256_mod()
294 		MP_ADD_CARRY(r1, a5h << 32, r1, 0,     carry);  in ec_GFp_nistp256_mod()
298 		MP_ADD_CARRY(r1, a5h << 32, r1, 0,     carry);  in ec_GFp_nistp256_mod()
303 		MP_ADD_CARRY(r1, a6l,       r1, 0,     carry);  in ec_GFp_nistp256_mod()
307 		MP_ADD_CARRY(r1, a6l,       r1, 0,     carry);  in ec_GFp_nistp256_mod()
314 		MP_ADD_CARRY(r1, a5l >> 32, r1, carry, carry);  in ec_GFp_nistp256_mod()
320 		MP_ADD_CARRY(r1, a5h|(a6h<<32), r1, carry, carry);  in ec_GFp_nistp256_mod()
326 		MP_SUB_BORROW(r1, a6h,          r1, carry, carry);  in ec_GFp_nistp256_mod()
332 		MP_SUB_BORROW(r1, a7,           r1, carry, carry);  in ec_GFp_nistp256_mod()
338 		MP_SUB_BORROW(r1, a7h|a4l,      r1, carry, carry);  in ec_GFp_nistp256_mod()
344 		MP_SUB_BORROW(r1, a4h<<32,      r1, carry, carry);  in ec_GFp_nistp256_mod()
354 			MP_ADD_CARRY(r1, -r4l,         r1, carry, carry);  in ec_GFp_nistp256_mod()
365 			MP_SUB_BORROW(r1, -r4l,         r1, carry, carry);  in ec_GFp_nistp256_mod()
379 		MP_DIGIT(r,1) = r1;  in ec_GFp_nistp256_mod()
385 			(r2 || (r1 >> 32)||   in ec_GFp_nistp256_mod()
386 			       (r1 == 0xFFFFFFFFULL && r0 == MP_DIGIT_MAX)))) {  in ec_GFp_nistp256_mod()