D | p256_32.h | 380 fiat_p256_uint1 x196; in fiat_p256_mul() local 381 fiat_p256_addcarryx_u32(&x195, &x196, x194, x177, x145); in fiat_p256_mul() 384 fiat_p256_addcarryx_u32(&x197, &x198, x196, x179, x147); in fiat_p256_mul() 1429 fiat_p256_uint1 x196; in fiat_p256_square() local 1430 fiat_p256_addcarryx_u32(&x195, &x196, x194, x177, x145); in fiat_p256_square() 1433 fiat_p256_addcarryx_u32(&x197, &x198, x196, x179, x147); in fiat_p256_square() 2702 uint32_t x196; in fiat_p256_from_montgomery() local 2704 fiat_p256_addcarryx_u32(&x196, &x197, x195, x154, x166); in fiat_p256_from_montgomery() 2734 fiat_p256_addcarryx_u32(&x216, &x217, x215, 0x0, x196); in fiat_p256_from_montgomery()
|