Home
last modified time | relevance | path

Searched refs:fiat_p256_uint128 (Results 1 – 1 of 1) sorted by relevance

/external/boringssl/src/third_party/fiat/
Dp256_64.h18 typedef unsigned __int128 fiat_p256_uint128; typedef
31 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()