Searched defs:x82 (Results 1 – 2 of 2) sorted by relevance
143 { u32 x82 = (x49 & 0x3ffffff); in fe_freeze() local372 { u64 x82 = (x81 + x51); in fe_mul_impl() local515 { u64 x82 = (x80 + x46); in fe_sqr_impl() local695 { u64 x82 = (x81 + x51); in fe_mul_121666_impl() local
567 uint8_t x82; in fiat_25519_to_bytes() local1114 uint64_t x82; in fiat_25519_carry_mul() local1428 uint64_t x82; in fiat_25519_carry_square() local1874 uint8_t x82; in fiat_25519_to_bytes() local