D | p256_32.h | 383 fiat_p256_uint1 x198; in fiat_p256_mul() local 384 fiat_p256_addcarryx_u32(&x197, &x198, x196, x179, x147); in fiat_p256_mul() 387 fiat_p256_addcarryx_u32(&x199, &x200, x198, x181, x149); in fiat_p256_mul() 1432 fiat_p256_uint1 x198; in fiat_p256_square() local 1433 fiat_p256_addcarryx_u32(&x197, &x198, x196, x179, x147); in fiat_p256_square() 1436 fiat_p256_addcarryx_u32(&x199, &x200, x198, x181, x149); in fiat_p256_square() 2705 uint32_t x198; in fiat_p256_from_montgomery() local 2707 fiat_p256_addcarryx_u32(&x198, &x199, x197, x170, x168); in fiat_p256_from_montgomery() 2737 fiat_p256_addcarryx_u32(&x218, &x219, x217, 0x0, x198); in fiat_p256_from_montgomery()
|