Searched defs:x128 (Results 1 – 16 of 16) 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() local
286 uint64_t x128; in fiat_p256_mul() local593 uint64_t x128; in fiat_p256_square() local1195 fiat_p256_uint1 x128; in fiat_p256_to_montgomery() local
295 uint64_t x128; in fiat_p256_mul() local602 uint64_t x128; in fiat_p256_square() local1204 fiat_p256_uint1 x128; in fiat_p256_to_montgomery() local
290 uint32_t x128; in fiat_p256_mul() local1325 uint32_t x128; in fiat_p256_square() local2592 uint32_t x128; in fiat_p256_from_montgomery() local3129 fiat_p256_uint1 x128; in fiat_p256_to_montgomery() local4442 uint32_t x128; in fiat_p256_divstep() local
329 fiat_25519_uint1 x128; in fiat_25519_carry_mul() local
308 uint64_t x128; 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