Searched defs:x113 (Results 1 – 3 of 3) sorted by relevance
217 uint64_t x113 = (x102 + x112); in fiat_25519_carry_mul() local383 uint64_t x113 = (x111 * (uint64_t)UINT8_C(0x13)); in fiat_25519_carry_square() local780 uint32_t x113 = (x112 >> 8); in fiat_25519_to_bytes() local
260 uint64_t x113; in fiat_p256_mul() local573 uint64_t x113; in fiat_p256_square() local
256 uint32_t x113; in fiat_p256_mul() local1305 uint32_t x113; in fiat_p256_square() local2577 fiat_p256_uint1 x113; in fiat_p256_from_montgomery() local