Searched defs:x24 (Results 1 – 2 of 2) sorted by relevance
214 uint64_t x24 = ((uint64_t)(arg1[7]) * ((arg2[3]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local380 uint64_t x24 = ((uint64_t)(arg1[7]) * (x7 * (uint32_t)0x2)); in fiat_25519_carry_square() local661 uint32_t x24; in fiat_25519_to_bytes() local829 uint32_t x24 = ((uint32_t)(arg1[8]) << 13); in fiat_25519_from_bytes() local
1184 uint32_t x24 = (uint32_t)(x22 & UINT32_C(0x3ffffff)); in fiat_25519_carry_scmul_121666() local
