Searched defs:b0 (Results 1 – 4 of 4) sorted by relevance
| /lib/mbedtls/external/mbedtls/3rdparty/everest/library/ |
| A D | Hacl_Curve25519.c | 34 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
|
| /lib/mbedtls/external/mbedtls/3rdparty/everest/library/legacy/ |
| A D | Hacl_Curve25519.c | 37 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
|
| /lib/lwip/lwip/src/include/lwip/prot/ |
| A D | ethernet.h | 69 #define ETH_ADDR(b0, b1, b2, b3, b4, b5) {{b0, b1, b2, b3, b4, b5}} argument
|
| /lib/rsa/ |
| A D | rsa-keyprop.c | 465 uint32_t a0, a1, b0, hi, g, q, tb; in br_i32_muladd_small() local
|
Completed in 15 milliseconds