Searched defs:x25 (Results 1 – 5 of 5) sorted by relevance
242 { const u32 x25 = in2[1]; in fe_add_impl() local285 { const u32 x25 = in2[1]; in fe_sub_impl() local328 { const u32 x25 = in2[1]; in fe_mul_impl() local458 …{ u64 x25 = (0x2 * (((((u64)x8 * x8) + ((u64)x6 * x10)) + ((u64)x2 * x14)) + ((u64)(0x2 * x4) * x1… in fe_sqr_impl() local651 { const u32 x25 = 0; in fe_mul_121666_impl() local
160 fiat_25519_uint128 x25; in fiat_25519_carry_mul() local279 uint64_t x25; in fiat_25519_carry_square() local510 uint64_t x25; in fiat_25519_to_bytes() local726 uint64_t x25; in fiat_25519_from_bytes() local1057 uint64_t x25; in fiat_25519_carry_mul() local1371 uint64_t x25; in fiat_25519_carry_square() local1817 fiat_25519_uint1 x25; in fiat_25519_to_bytes() local2075 uint32_t x25; in fiat_25519_from_bytes() local
44 x25, enumerator
42 x25, enumerator
1242 x25 = 25, enumerator