Searched defs:x40 (Results 1 – 2 of 2) sorted by relevance
175 uint64_t x40; in fiat_25519_carry_mul() local294 fiat_25519_uint128 x40; in fiat_25519_carry_square() local525 uint64_t x40; in fiat_25519_to_bytes() local741 uint8_t x40; in fiat_25519_from_bytes() local1072 uint64_t x40; in fiat_25519_carry_mul() local1386 uint64_t x40; in fiat_25519_carry_square() local1832 uint32_t x40; in fiat_25519_to_bytes() local2090 uint32_t x40; in fiat_25519_from_bytes() local
330 { u64 x40 = ((u64)x23 * x5); in fe_mul_impl() local473 { u64 x40 = (x39 + x37); in fe_sqr_impl() local653 { u64 x40 = ((u64)x23 * x5); in fe_mul_121666_impl() local