Searched defs:x67 (Results 1 – 2 of 2) sorted by relevance
552 uint8_t x67; in fiat_25519_to_bytes() local768 uint64_t x67; in fiat_25519_from_bytes() local1099 uint64_t x67; in fiat_25519_carry_mul() local1413 uint64_t x67; in fiat_25519_carry_square() local1859 uint32_t x67; in fiat_25519_to_bytes() local2117 uint32_t x67; in fiat_25519_from_bytes() local
357 { u64 x67 = (x66 + x56); in fe_mul_impl() local500 { u64 x67 = (x65 + x61); in fe_sqr_impl() local680 { u64 x67 = (x66 + x56); in fe_mul_121666_impl() local