Searched defs:x66 (Results 1 – 2 of 2) sorted by relevance
135 { u32 x66 = (x49 & 0x3ffffff); in fe_freeze() local356 { u64 x66 = (x65 + (x56 << 0x1)); in fe_mul_impl() local499 { u32 x66 = ((u32)x64 & 0x3ffffff); in fe_sqr_impl() local679 { u64 x66 = (x65 + (x56 << 0x1)); in fe_mul_121666_impl() local
551 uint64_t x66; in fiat_25519_to_bytes() local767 uint64_t x66; in fiat_25519_from_bytes() local1098 uint64_t x66; in fiat_25519_carry_mul() local1412 uint64_t x66; in fiat_25519_carry_square() local1858 uint8_t x66; in fiat_25519_to_bytes() local2116 uint32_t x66; in fiat_25519_from_bytes() local