Searched defs:x22 (Results 1 – 2 of 2) sorted by relevance
212 uint64_t x22 = ((uint64_t)(arg1[7]) * ((arg2[5]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local378 uint64_t x22 = ((arg1[7]) * (x2 * (uint64_t)0x2)); in fiat_25519_carry_square() local517 uint32_t x22 = (x10 & UINT32_C(0x1ffffff)); in fiat_25519_carry() local658 uint32_t x22; in fiat_25519_to_bytes() local827 uint32_t x22 = ((uint32_t)(arg1[10]) << 3); in fiat_25519_from_bytes() local
1182 uint64_t x22 = (x20 + x6); in fiat_25519_carry_scmul_121666() local
