Searched defs:x82 (Results 1 – 5 of 5) sorted by relevance
14 #define x82 � macro
186 uint64_t x82 = ((uint64_t)(arg1[1]) * (arg2[8])); in fiat_25519_carry_mul() local352 uint64_t x82 = (x69 + (x61 + (x54 + (x29 + (x26 + x24))))); in fiat_25519_carry_square() local749 uint8_t x82 = (uint8_t)(x80 >> 8); in fiat_25519_to_bytes() local
213 fiat_p256_uint1 x82; in fiat_p256_mul() local526 fiat_p256_uint1 x82; in fiat_p256_square() local969 uint64_t x82; in fiat_p256_from_montgomery() local
447 uint64_t x82 = (x80 >> 8); in fiat_25519_to_bytes() local
209 uint32_t x82; in fiat_p256_mul() local1258 uint32_t x82; in fiat_p256_square() local2531 uint32_t x82; in fiat_p256_from_montgomery() local