D | p256_32.h | 422 fiat_p256_uint1 x224; in fiat_p256_mul() local 423 fiat_p256_addcarryx_u32(&x223, &x224, 0x0, x215, x191); in fiat_p256_mul() 426 fiat_p256_addcarryx_u32(&x225, &x226, x224, x217, x193); in fiat_p256_mul() 1471 fiat_p256_uint1 x224; in fiat_p256_square() local 1472 fiat_p256_addcarryx_u32(&x223, &x224, 0x0, x215, x191); in fiat_p256_square() 1475 fiat_p256_addcarryx_u32(&x225, &x226, x224, x217, x193); in fiat_p256_square() 2744 uint32_t x224; in fiat_p256_from_montgomery() local 2746 fiat_p256_mulx_u32(&x224, &x225, x206, UINT32_C(0xffffffff)); in fiat_p256_from_montgomery() 2758 fiat_p256_addcarryx_u32(&x232, &x233, x231, x224, x227); in fiat_p256_from_montgomery()
|