Searched defs:x139 (Results 1 – 3 of 3) sorted by relevance
299 uint64_t x139; in fiat_p256_mul() local612 uint64_t x139; in fiat_p256_square() local
243 uint32_t x139 = (uint32_t)(x137 & UINT32_C(0x1ffffff)); in fiat_25519_carry_mul() local
295 uint32_t x139; in fiat_p256_mul() local1344 uint32_t x139; in fiat_p256_square() local2616 fiat_p256_uint1 x139; in fiat_p256_from_montgomery() local