Home
last modified time | relevance | path

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

/mbedtls-3.7.0/3rdparty/everest/library/
DHacl_Curve25519.c34 uint64_t b0 = b[0U]; in Hacl_Bignum_Modulo_carry_top() local
81 uint64_t b0; in Hacl_Bignum_Fmul_shift_reduce() local
129 uint128_t b0; in Hacl_Bignum_Fmul_fmul() local
182 uint128_t b0; in Hacl_Bignum_Fsquare_fsquare_() local
250 uint64_t *b0 = buf + (uint32_t)10U; in Hacl_Bignum_Crecip_crecip() local
303 uint64_t b0; in Hacl_Bignum_fdifference() local
342 uint128_t b0; in Hacl_Bignum_fscalar() local
540 uint8_t *b0 = output; in Hacl_EC_Format_fcontract_store() local
/mbedtls-3.7.0/3rdparty/everest/library/legacy/
DHacl_Curve25519.c37 uint64_t b0 = b[0U]; in Hacl_Bignum_Modulo_carry_top() local
89 uint64_t b0; in Hacl_Bignum_Fmul_shift_reduce() local
141 FStar_UInt128_uint128 b0; in Hacl_Bignum_Fmul_fmul() local
217 FStar_UInt128_uint128 b0; in Hacl_Bignum_Fsquare_fsquare_() local
292 uint64_t *b0 = buf + (uint32_t)10U; in Hacl_Bignum_Crecip_crecip() local
345 uint64_t b0; in Hacl_Bignum_fdifference() local
384 FStar_UInt128_uint128 b0; in Hacl_Bignum_fscalar() local
585 uint8_t *b0 = output; in Hacl_EC_Format_fcontract_store() local