Searched defs:x82 (Results 1 – 1 of 1) sorted by relevance
272 uint64_t x82 = ((uint64_t)(arg1[1]) * (arg2[8])); in fiat_25519_carry_mul() local438 uint64_t x82 = (x69 + (x61 + (x54 + (x29 + (x26 + x24))))); in fiat_25519_carry_square() local728 uint8_t x82 = (uint8_t)(x80 >> 8); in fiat_25519_to_bytes() local
