Searched defs:x11 (Results 1 – 2 of 2) sorted by relevance
201 uint64_t x11 = ((uint64_t)(arg1[8]) * ((arg2[8]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local367 uint64_t x11 = (x10 * (uint64_t)0x2); in fiat_25519_carry_square() local506 uint32_t x11 = ((x1 & UINT32_C(0x3ffffff)) + ((x10 >> 25) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry() local641 uint32_t x11; in fiat_25519_to_bytes() local816 uint32_t x11 = ((uint32_t)(arg1[21]) << 15); in fiat_25519_from_bytes() local
1171 uint32_t x11 = (uint32_t)(x10 >> 26); in fiat_25519_carry_scmul_121666() local
