68 	mp_digit r0, r1, r2, r3, r4, r5, r6, r7;  in ec_GFp_nistp256_mod()  local
74 	int r4; /* must be a signed value ! */  in ec_GFp_nistp256_mod()  local
110 		r4 = MP_DIGIT(a,4);  in ec_GFp_nistp256_mod()
117 		MP_ADD_CARRY(r4, a12, r4, carry, carry);  in ec_GFp_nistp256_mod()
123 		MP_ADD_CARRY(r4, a12, r4, carry, carry);  in ec_GFp_nistp256_mod()
130 		MP_ADD_CARRY(r4, a13, r4, carry, carry);  in ec_GFp_nistp256_mod()
140 		MP_ADD_CARRY(r4, a13, r4, carry, carry);  in ec_GFp_nistp256_mod()
154 		MP_ADD_CARRY(r4, a14, r4, carry, carry);  in ec_GFp_nistp256_mod()
164 		MP_SUB_BORROW(r4,   0, r4, carry, carry);  in ec_GFp_nistp256_mod()
174 		MP_SUB_BORROW(r4,   0, r4, carry, carry);  in ec_GFp_nistp256_mod()
184 		MP_SUB_BORROW(r4, a9,  r4, carry, carry);  in ec_GFp_nistp256_mod()
194 		MP_SUB_BORROW(r4, a10, r4, carry, carry);  in ec_GFp_nistp256_mod()
207 			MP_ADD_CARRY(r4, MP_DIGIT_MAX, r4, carry, carry);  in ec_GFp_nistp256_mod()
221 			MP_SUB_BORROW(r4, MP_DIGIT_MAX, r4, carry, carry);  in ec_GFp_nistp256_mod()
236 		MP_DIGIT(r,4) = r4;  in ec_GFp_nistp256_mod()
245 			(r5 || r4 || r3 ||   in ec_GFp_nistp256_mod()
297 		r4 = carry;  in ec_GFp_nistp256_mod()
301 		r4 += carry;  in ec_GFp_nistp256_mod()
306 		r4 += carry;  in ec_GFp_nistp256_mod()
310 		r4 += carry;  in ec_GFp_nistp256_mod()
317 		r4 += carry;  in ec_GFp_nistp256_mod()
323 		r4 += carry;  in ec_GFp_nistp256_mod()
329 		r4 -= carry;  in ec_GFp_nistp256_mod()
335 		r4 -= carry;  in ec_GFp_nistp256_mod()
341 		r4 -= carry;  in ec_GFp_nistp256_mod()
347 		r4 -= carry;  in ec_GFp_nistp256_mod()
350 		while (r4 > 0) {  in ec_GFp_nistp256_mod()
351 			mp_digit r4_long = r4;  in ec_GFp_nistp256_mod()
357 			r4 = carry;  in ec_GFp_nistp256_mod()
361 		while (r4 < 0) {  in ec_GFp_nistp256_mod()
362 			mp_digit r4_long = -r4;  in ec_GFp_nistp256_mod()
368 			r4 = -carry;  in ec_GFp_nistp256_mod()