Searched defs:x42 (Results 1 – 2 of 2) sorted by relevance
232 uint64_t x42 = ((uint64_t)(arg1[3]) * ((arg2[7]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local398 uint64_t x42 = ((arg1[3]) * (x8 * (uint64_t)0x2)); in fiat_25519_carry_square() local688 uint32_t x42 = (x40 << 6); in fiat_25519_to_bytes() local847 uint32_t x42 = (x22 + (x21 + x20)); in fiat_25519_from_bytes() local
1203 uint32_t x42 = (x41 >> 26); in fiat_25519_carry_scmul_121666() local
