Searched refs:fiat_p256_int128 (Results 1 – 1 of 1) sorted by relevance
17 typedef signed __int128 fiat_p256_int128; typedef48 fiat_p256_int128 x1 = ((arg2 - (fiat_p256_int128)arg1) - arg3); in fiat_p256_subborrowx_u64()