Searched defs:b4 (Results 1 – 2 of 2) sorted by relevance

/mbedtls-development/3rdparty/everest/library/
A D	Hacl_Curve25519.c	33 uint64_t b4 = b[4U]; in Hacl_Bignum_Modulo_carry_top() local 128 uint128_t b4; in Hacl_Bignum_Fmul_fmul() local 181 uint128_t b4; in Hacl_Bignum_Fsquare_fsquare_() local 307 uint64_t b4; in Hacl_Bignum_fdifference() local 341 uint128_t b4; in Hacl_Bignum_fscalar() local
/mbedtls-development/3rdparty/everest/library/legacy/
A D	Hacl_Curve25519.c	36 uint64_t b4 = b[4U]; in Hacl_Bignum_Modulo_carry_top() local 140 FStar_UInt128_uint128 b4; in Hacl_Bignum_Fmul_fmul() local 216 FStar_UInt128_uint128 b4; in Hacl_Bignum_Fsquare_fsquare_() local 349 uint64_t b4; in Hacl_Bignum_fdifference() local 383 FStar_UInt128_uint128 b4; in Hacl_Bignum_fscalar() local

Completed in 7 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023