Searched defs:x128 (Results 1 – 8 of 8) sorted by relevance
316 uint64_t x128 = ((uint64_t)x127 + x108); in fiat_p256_mul() local611 uint64_t x128 = ((uint64_t)x127 + x108); in fiat_p256_square() local
272 uint64_t x128 = (x126 + x107); in fiat_25519_carry_mul() local
314 uint32_t x128; in fiat_p256_mul() local1321 uint32_t x128; in fiat_p256_square() local2576 uint32_t x128; in fiat_p256_from_montgomery() local
141 int x128 = x127 * x126 + x125; in calc() local