Searched defs:x54 (Results 1 – 2 of 2) sorted by relevance
129 { u32 x54 = (x49 & 0x1ffffff); in fe_freeze() local344 …{ u64 x54 = (((0x2 * ((((u64)x37 * x19) + ((u64)x33 * x20)) + ((u64)x38 * x15))) + ((u64)x35 * x21… in fe_mul_impl() local487 { u64 x54 = (x53 + (x32 << 0x1)); in fe_sqr_impl() local667 …{ u64 x54 = (((0x2 * ((((u64)x37 * x19) + ((u64)x33 * x20)) + ((u64)x38 * x15))) + ((u64)x35 * x21… in fe_mul_121666_impl() local
539 uint8_t x54; in fiat_25519_to_bytes() local755 uint64_t x54; in fiat_25519_from_bytes() local1086 uint64_t x54; in fiat_25519_carry_mul() local1400 uint64_t x54; in fiat_25519_carry_square() local1846 uint8_t x54; in fiat_25519_to_bytes() local2104 uint32_t x54; in fiat_25519_from_bytes() local