Searched defs:x113 (Results 1 – 1 of 1) sorted by relevance
303 uint64_t x113 = (x102 + x112); in fiat_25519_carry_mul() local469 uint64_t x113 = (x111 * (uint64_t)UINT8_C(0x13)); in fiat_25519_carry_square() local759 uint32_t x113 = (x112 >> 8); in fiat_25519_to_bytes() local
