Searched defs:x28 (Results 1 – 5 of 5) sorted by relevance
163 uint64_t x28; in fiat_25519_carry_mul() local282 fiat_25519_uint128 x28; in fiat_25519_carry_square() local513 uint8_t x28; in fiat_25519_to_bytes() local729 uint64_t x28; in fiat_25519_from_bytes() local1060 uint64_t x28; in fiat_25519_carry_mul() local1374 uint64_t x28; in fiat_25519_carry_square() local1820 uint32_t x28; in fiat_25519_to_bytes() local2078 uint32_t x28; in fiat_25519_from_bytes() local
47 x28, enumerator
45 x28, enumerator
1245 x28 = 28, enumerator
461 …{ u64 x28 = (0x2 * ((((((u64)x10 * x12) + ((u64)x8 * x14)) + ((u64)x6 * x16)) + ((u64)x4 * x18)) +… in fe_sqr_impl() local