Searched defs:x124 (Results 1 – 3 of 3) sorted by relevance
276 fiat_p256_uint1 x124; in fiat_p256_mul() local589 fiat_p256_uint1 x124; in fiat_p256_square() local
228 uint32_t x124 = (uint32_t)(x122 & UINT32_C(0x3ffffff)); in fiat_25519_carry_mul() local
272 fiat_p256_uint1 x124; in fiat_p256_mul() local1321 fiat_p256_uint1 x124; in fiat_p256_square() local2594 uint32_t x124; in fiat_p256_from_montgomery() local