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