Searched defs:x81 (Results 1 – 2 of 2) sorted by relevance
142 { u32 x80; u8/*bool*/ x81 = addcarryx_u25(x77, x41, x78, &x80); in fe_freeze() local371 { u64 x81 = (x80 + (x51 << 0x1)); in fe_mul_impl() local514 { u32 x81 = ((u32)x79 & 0x1ffffff); in fe_sqr_impl() local694 { u64 x81 = (x80 + (x51 << 0x1)); in fe_mul_121666_impl() local
566 uint64_t x81; in fiat_25519_to_bytes() local1113 uint64_t x81; in fiat_25519_carry_mul() local1427 uint64_t x81; in fiat_25519_carry_square() local1873 uint32_t x81; in fiat_25519_to_bytes() local