Searched defs:x59 (Results 1 – 2 of 2) sorted by relevance
544 uint64_t x59; in fiat_25519_to_bytes() local760 uint64_t x59; in fiat_25519_from_bytes() local1091 uint64_t x59; in fiat_25519_carry_mul() local1405 uint64_t x59; in fiat_25519_carry_square() local1851 uint8_t x59; in fiat_25519_to_bytes() local2109 uint32_t x59; in fiat_25519_from_bytes() local
349 { u64 x59 = (x48 + (x58 << 0x4)); in fe_mul_impl() local492 { u64 x59 = (x20 + (x30 << 0x4)); in fe_sqr_impl() local672 { u64 x59 = (x48 + (x58 << 0x4)); in fe_mul_121666_impl() local