Home
last modified time | relevance | path

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

/mbedtls-development/3rdparty/everest/include/everest/kremlin/internal/
A Dtarget.h84 #define KRML_CHECK_SIZE(size_elt, sz) \ macro
/mbedtls-development/3rdparty/everest/library/
A DHacl_Curve25519.c119 KRML_CHECK_SIZE(sizeof (uint128_t), (uint32_t)5U); in Hacl_Bignum_Fmul_fmul()
218 KRML_CHECK_SIZE(sizeof (uint128_t), (uint32_t)5U); in Hacl_Bignum_Fsquare_fsquare_times()
233 KRML_CHECK_SIZE(sizeof (uint128_t), (uint32_t)5U); in Hacl_Bignum_Fsquare_fsquare_times_inplace()
332 KRML_CHECK_SIZE(sizeof (uint128_t), (uint32_t)5U); in Hacl_Bignum_fscalar()
/mbedtls-development/3rdparty/everest/library/legacy/
A DHacl_Curve25519.c131 KRML_CHECK_SIZE(sizeof (FStar_UInt128_uint128), (uint32_t)5U); in Hacl_Bignum_Fmul_fmul()
260 KRML_CHECK_SIZE(sizeof (FStar_UInt128_uint128), (uint32_t)5U); in Hacl_Bignum_Fsquare_fsquare_times()
275 KRML_CHECK_SIZE(sizeof (FStar_UInt128_uint128), (uint32_t)5U); in Hacl_Bignum_Fsquare_fsquare_times_inplace()
374 KRML_CHECK_SIZE(sizeof (FStar_UInt128_uint128), (uint32_t)5U); in Hacl_Bignum_fscalar()

Completed in 12 milliseconds