Searched defs:x51 (Results 1 – 2 of 2) sorted by relevance
186 uint64_t x51; in fiat_25519_carry_mul() local536 uint64_t x51; in fiat_25519_to_bytes() local752 uint64_t x51; in fiat_25519_from_bytes() local1083 uint64_t x51; in fiat_25519_carry_mul() local1397 uint64_t x51; in fiat_25519_carry_square() local1843 uint32_t x51; in fiat_25519_to_bytes() local2101 uint32_t x51; in fiat_25519_from_bytes() local
341 …{ u64 x51 = (((((((((u64)x33 * x17) + ((u64)x35 * x15)) + ((u64)x31 * x19)) + ((u64)x37 * x13)) + … in fe_mul_impl() local484 { u64 x51 = (x50 + (x33 << 0x1)); in fe_sqr_impl() local664 …{ u64 x51 = (((((((((u64)x33 * x17) + ((u64)x35 * x15)) + ((u64)x31 * x19)) + ((u64)x37 * x13)) + … in fe_mul_121666_impl() local