Searched refs:fiat_p256_uint128 (Results 1 – 2 of 2) sorted by relevance
18 typedef unsigned __int128 fiat_p256_uint128; typedef40 fiat_p256_uint128 x1 = ((arg1 + (fiat_p256_uint128)arg2) + arg3); in fiat_p256_addcarryx_u64()83 fiat_p256_uint128 x1 = ((fiat_p256_uint128)arg1 * arg2); in fiat_p256_mulx_u64()