Searched defs:x97 (Results 1 – 16 of 16) sorted by relevance
241 uint64_t x97 = ((uint64_t)(arg1[0]) * (arg2[3])); in fiat_25519_carry_mul() local411 uint32_t x97 = (uint32_t)(x95 & UINT32_C(0x3ffffff)); in fiat_25519_carry_square() local766 uint8_t x97 = (uint8_t)(x94 & UINT8_C(0xff)); in fiat_25519_to_bytes() local
270 fiat_p256_uint1 x97; in fiat_p256_mul() local565 fiat_p256_uint1 x97; in fiat_p256_square() local
268 uint32_t x97; in fiat_p256_mul() local1275 uint32_t x97; in fiat_p256_square() local2529 fiat_p256_uint1 x97; in fiat_p256_from_montgomery() local
268 uint32_t x97; in fiat_p256_mul() local1275 uint32_t x97; in fiat_p256_square() local
277 uint64_t x97; in fiat_25519_carry_mul() local591 uint32_t x97; in fiat_25519_carry_square() local1083 uint32_t x97; in fiat_25519_to_bytes() local
255 fiat_p256_uint1 x97; in fiat_p256_mul() local562 fiat_p256_uint1 x97; in fiat_p256_square() local1164 uint64_t x97; in fiat_p256_to_montgomery() local1849 fiat_p256_uint1 x97; in fiat_p256_divstep() local
264 fiat_p256_uint1 x97; in fiat_p256_mul() local571 fiat_p256_uint1 x97; in fiat_p256_square() local1173 uint64_t x97; in fiat_p256_to_montgomery() local1858 fiat_p256_uint1 x97; in fiat_p256_divstep() local
298 uint64_t x97; in fiat_25519_carry_mul() local564 fiat_25519_uint1 x97; in fiat_25519_carry_square() local
259 uint32_t x97; in fiat_p256_mul() local1294 uint32_t x97; in fiat_p256_square() local2561 fiat_p256_uint1 x97; in fiat_p256_from_montgomery() local3098 uint32_t x97; in fiat_p256_to_montgomery() local4411 uint32_t x97; in fiat_p256_divstep() local