Searched defs:x129 (Results 1 – 3 of 3) sorted by relevance
284 uint64_t x129; in fiat_p256_mul() local597 uint64_t x129; in fiat_p256_square() local
233 uint64_t x129 = (x128 >> 26); in fiat_25519_carry_mul() local
280 uint32_t x129; in fiat_p256_mul() local1329 uint32_t x129; in fiat_p256_square() local2601 fiat_p256_uint1 x129; in fiat_p256_from_montgomery() local