Searched defs:x128 (Results 1 – 3 of 3) sorted by relevance
282 fiat_p256_uint1 x128; in fiat_p256_mul() local595 fiat_p256_uint1 x128; in fiat_p256_square() local
232 uint64_t x128 = (x126 + x107); in fiat_25519_carry_mul() local
278 uint32_t x128; in fiat_p256_mul() local1327 uint32_t x128; in fiat_p256_square() local2600 uint32_t x128; in fiat_p256_from_montgomery() local