Searched defs:x142 (Results 1 – 3 of 3) sorted by relevance
303 uint64_t x142; in fiat_p256_mul() local616 uint64_t x142; in fiat_p256_square() local
246 uint32_t x142 = (uint32_t)(x141 >> 26); in fiat_25519_carry_mul() local
299 fiat_p256_uint1 x142; in fiat_p256_mul() local1348 fiat_p256_uint1 x142; in fiat_p256_square() local2621 uint32_t x142; in fiat_p256_from_montgomery() local