Searched defs:x83 (Results 1 – 2 of 2) sorted by relevance
373 { u64 x83 = (x40 + (x50 << 0x4)); in fe_mul_impl() local516 { u64 x83 = (x82 >> 0x1a); in fe_sqr_impl() local696 { u64 x83 = (x40 + (x50 << 0x4)); in fe_mul_121666_impl() local
568 uint64_t x83; in fiat_25519_to_bytes() local1115 uint64_t x83; in fiat_25519_carry_mul() local1429 uint64_t x83; in fiat_25519_carry_square() local1875 uint8_t x83; in fiat_25519_to_bytes() local