Searched defs:x120 (Results 1 – 3 of 3) sorted by relevance
224 uint64_t x120 = (x119 >> 25); in fiat_25519_carry_mul() local390 uint32_t x120 = (x118 + x91); in fiat_25519_carry_square() local
270 uint64_t x120; in fiat_p256_mul() local583 uint64_t x120; in fiat_p256_square() local
266 fiat_p256_uint1 x120; in fiat_p256_mul() local1315 fiat_p256_uint1 x120; in fiat_p256_square() local2588 uint32_t x120; in fiat_p256_from_montgomery() local