Searched defs:x68 (Results 1 – 2 of 2) sorted by relevance
136 { u32 x68; u8/*bool*/ x69 = addcarryx_u26(x65, x32, x66, &x68); in fe_freeze() local358 { u64 x68 = (x45 + (x55 << 0x4)); in fe_mul_impl() local501 { u64 x68 = (x67 >> 0x19); in fe_sqr_impl() local681 { u64 x68 = (x45 + (x55 << 0x4)); in fe_mul_121666_impl() local
553 uint64_t x68; in fiat_25519_to_bytes() local769 uint64_t x68; in fiat_25519_from_bytes() local1100 uint64_t x68; in fiat_25519_carry_mul() local1414 uint64_t x68; in fiat_25519_carry_square() local1860 uint8_t x68; in fiat_25519_to_bytes() local2118 uint32_t x68; in fiat_25519_from_bytes() local