Searched defs:x84 (Results 1 – 2 of 2) sorted by relevance
144 { u32 x84; u8/*bool*/ x85 = addcarryx_u26(x81, x44, x82, &x84); in fe_freeze() local374 { u64 x84 = (x83 + (x50 << 0x1)); in fe_mul_impl() local517 { u32 x84 = ((u32)x82 & 0x3ffffff); in fe_sqr_impl() local697 { u64 x84 = (x83 + (x50 << 0x1)); in fe_mul_121666_impl() local
569 uint8_t x84; in fiat_25519_to_bytes() local1116 uint64_t x84; in fiat_25519_carry_mul() local1430 uint64_t x84; in fiat_25519_carry_square() local1876 uint8_t x84; in fiat_25519_to_bytes() local