Searched defs:x75 (Results 1 – 2 of 2) sorted by relevance
365 { u64 x75 = (x74 + (x53 << 0x1)); in fe_mul_impl() local508 { u32 x75 = ((u32)x73 & 0x1ffffff); in fe_sqr_impl() local688 { u64 x75 = (x74 + (x53 << 0x1)); in fe_mul_121666_impl() local
560 uint8_t x75; in fiat_25519_to_bytes() local1107 uint64_t x75; in fiat_25519_carry_mul() local1421 uint64_t x75; in fiat_25519_carry_square() local1867 uint8_t x75; in fiat_25519_to_bytes() local2125 uint8_t x75; in fiat_25519_from_bytes() local