Searched defs:x17 (Results 1 – 4 of 4) sorted by relevance
106 { const u32 x17 = in1[9]; in fe_freeze() local227 { const u32 x17 = in1[6]; in fe_add_impl() local270 { const u32 x17 = in1[6]; in fe_sub_impl() local313 { const u32 x17 = in1[6]; in fe_mul_impl() local442 { const u32 x17 = in1[9]; in fe_sqr_impl() local636 { const u32 x17 = in1[6]; in fe_mul_121666_impl() local
152 fiat_25519_uint128 x17; in fiat_25519_carry_mul() local271 fiat_25519_uint128 x17; in fiat_25519_carry_square() local502 fiat_25519_uint1 x17; in fiat_25519_to_bytes() local718 uint64_t x17; in fiat_25519_from_bytes() local1049 uint64_t x17; in fiat_25519_carry_mul() local1363 uint32_t x17; in fiat_25519_carry_square() local1623 uint32_t x17; in fiat_25519_carry() local1809 uint32_t x17; in fiat_25519_to_bytes() local2067 uint32_t x17; in fiat_25519_from_bytes() local
36 x17, enumerator
34 x17, enumerator