Searched defs:x71 (Results 1 – 2 of 2) sorted by relevance
556 uint8_t x71; in fiat_25519_to_bytes() local772 uint64_t x71; in fiat_25519_from_bytes() local1103 uint64_t x71; in fiat_25519_carry_mul() local1417 uint64_t x71; in fiat_25519_carry_square() local1863 uint8_t x71; in fiat_25519_to_bytes() local2121 uint32_t x71; in fiat_25519_from_bytes() local
361 { u64 x71 = (x44 + (x54 << 0x4)); in fe_mul_impl() local504 { u64 x71 = (x70 >> 0x1a); in fe_sqr_impl() local684 { u64 x71 = (x44 + (x54 << 0x4)); in fe_mul_121666_impl() local