Searched defs:x50 (Results 1 – 1 of 1) sorted by relevance
240 uint64_t x50 = ((uint64_t)(arg1[7]) * ((arg2[1]) * (uint32_t)0x2)); in fiat_25519_carry_mul() local406 uint64_t x50 = ((uint64_t)(arg1[2]) * x12); in fiat_25519_carry_square() local696 uint32_t x50 = (x22 >> 8); in fiat_25519_to_bytes() local855 uint32_t x50 = (x48 & UINT32_C(0x3ffffff)); in fiat_25519_from_bytes() local
