Searched defs:x43 (Results 1 – 2 of 2) sorted by relevance
178 uint64_t x43; in fiat_25519_carry_mul() local297 uint64_t x43; in fiat_25519_carry_square() local528 uint8_t x43; in fiat_25519_to_bytes() local744 uint64_t x43; in fiat_25519_from_bytes() local1075 uint64_t x43; in fiat_25519_carry_mul() local1389 uint64_t x43; in fiat_25519_carry_square() local1835 uint32_t x43; in fiat_25519_to_bytes() local2093 uint32_t x43; in fiat_25519_from_bytes() local
333 { u64 x43 = (((((u64)x25 * x9) + ((u64)x27 * x7)) + ((u64)x23 * x11)) + ((u64)x29 * x5)); in fe_mul_impl() local476 { u64 x43 = (x42 + x36); in fe_sqr_impl() local656 { u64 x43 = (((((u64)x25 * x9) + ((u64)x27 * x7)) + ((u64)x23 * x11)) + ((u64)x29 * x5)); in fe_mul_121666_impl() local