Searched defs:x126 (Results 1 – 3 of 3) sorted by relevance
279 fiat_p256_uint1 x126; in fiat_p256_mul() local592 fiat_p256_uint1 x126; in fiat_p256_square() local
230 uint64_t x126 = (x125 >> 25); in fiat_25519_carry_mul() local
275 uint32_t x126; in fiat_p256_mul() local1324 uint32_t x126; in fiat_p256_square() local2597 uint32_t x126; in fiat_p256_from_montgomery() local