D | p256_32.h | 425 fiat_p256_uint1 x226; in fiat_p256_mul() local 426 fiat_p256_addcarryx_u32(&x225, &x226, x224, x217, x193); in fiat_p256_mul() 429 fiat_p256_addcarryx_u32(&x227, &x228, x226, x219, x195); in fiat_p256_mul() 1474 fiat_p256_uint1 x226; in fiat_p256_square() local 1475 fiat_p256_addcarryx_u32(&x225, &x226, x224, x217, x193); in fiat_p256_square() 1478 fiat_p256_addcarryx_u32(&x227, &x228, x226, x219, x195); in fiat_p256_square() 2747 uint32_t x226; in fiat_p256_from_montgomery() local 2749 fiat_p256_mulx_u32(&x226, &x227, x206, UINT32_C(0xffffffff)); in fiat_p256_from_montgomery() 2755 fiat_p256_addcarryx_u32(&x230, &x231, 0x0, x226, x229); in fiat_p256_from_montgomery()
|