/dports/lang/spidermonkey60/firefox-60.9.0/security/nss/lib/freebl/verified/ |
H A D | FStar.h | 40 FStar_UInt128_uint128 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
|
H A D | Hacl_Poly1305_64.c | 41 b2_ = FStar_UInt128_logand(b2, FStar_UInt128_uint64_to_uint128((uint64_t)0x3ffffffffffU)); in Hacl_Bignum_Modulo_carry_top_wide() 298 FStar_UInt128_logand(k1, in Hacl_Standalone_Poly1305_64_poly1305_partial() 397 FStar_UInt128_logand(k10, in Hacl_Poly1305_64_init()
|
H A D | Hacl_Curve25519.c | 199 b4_ = FStar_UInt128_logand(b4, FStar_UInt128_uint64_to_uint128((uint64_t)0x7ffffffffffffU)); in Hacl_Bignum_Fmul_fmul() 269 b4_ = FStar_UInt128_logand(b4, FStar_UInt128_uint64_to_uint128((uint64_t)0x7ffffffffffffU)); in Hacl_Bignum_Fsquare_fsquare_() 456 b4_ = FStar_UInt128_logand(b4, FStar_UInt128_uint64_to_uint128((uint64_t)0x7ffffffffffffU)); in Hacl_Bignum_fscalar()
|
H A D | FStar.c | 75 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_logand() function
|
/dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128.h | 34 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
|
H A D | fstar_uint128_gcc64.h | 93 FStar_UInt128_logand(uint128_t x, uint128_t y) in FStar_UInt128_logand() function
|
H A D | FStar_UInt128_Verified.h | 88 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_logand() function
|
/dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128.h | 34 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
|
H A D | fstar_uint128_gcc64.h | 93 FStar_UInt128_logand(uint128_t x, uint128_t y) in FStar_UInt128_logand() function
|
H A D | FStar_UInt128_Verified.h | 88 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_logand() function
|
/dports/www/firefox/firefox-99.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128.h | 34 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
|
H A D | fstar_uint128_gcc64.h | 93 FStar_UInt128_logand(uint128_t x, uint128_t y) in FStar_UInt128_logand() function
|
H A D | FStar_UInt128_Verified.h | 88 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_logand() function
|
/dports/security/nss/nss-3.76.1/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128.h | 34 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
|
H A D | fstar_uint128_gcc64.h | 93 FStar_UInt128_logand(uint128_t x, uint128_t y) in FStar_UInt128_logand() function
|
H A D | FStar_UInt128_Verified.h | 88 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_logand() function
|
/dports/mail/thunderbird/thunderbird-91.8.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128.h | 34 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
|
H A D | fstar_uint128_gcc64.h | 93 FStar_UInt128_logand(uint128_t x, uint128_t y) in FStar_UInt128_logand() function
|
H A D | FStar_UInt128_Verified.h | 88 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_logand() function
|
/dports/lang/spidermonkey78/firefox-78.9.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
H A D | FStar_UInt128.h | 35 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
|
H A D | fstar_uint128_gcc64.h | 90 FStar_UInt128_logand(uint128_t x, uint128_t y) in FStar_UInt128_logand() function
|
H A D | FStar_UInt128_Verified.h | 89 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_logand() function
|
/dports/devel/premake5/premake-5.0.0-alpha16-src/contrib/mbedtls/3rdparty/everest/include/everest/kremlib/ |
H A D | FStar_UInt128.h | 40 FStar_UInt128_uint128 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
|
/dports/devel/premake5/premake-5.0.0-alpha16-src/contrib/mbedtls/3rdparty/everest/library/kremlib/ |
H A D | FStar_UInt128_extracted.c | 85 FStar_UInt128_uint128 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_logand() function 291 FStar_UInt128_logand;
|
/dports/devel/premake5/premake-5.0.0-alpha16-src/contrib/mbedtls/3rdparty/everest/library/legacy/ |
H A D | Hacl_Curve25519.c | 24 FStar_UInt128_logand(FStar_UInt128_uint128 x0, FStar_UInt128_uint128 x1); 152 b4_ = FStar_UInt128_logand(b4, FStar_UInt128_uint64_to_uint128((uint64_t)0x7ffffffffffffU)); in Hacl_Bignum_Fmul_fmul() 228 b4_ = FStar_UInt128_logand(b4, FStar_UInt128_uint64_to_uint128((uint64_t)0x7ffffffffffffU)); in Hacl_Bignum_Fsquare_fsquare_() 398 b4_ = FStar_UInt128_logand(b4, FStar_UInt128_uint64_to_uint128((uint64_t)0x7ffffffffffffU)); in Hacl_Bignum_fscalar()
|