Home
last modified time | relevance | path

Searched refs:b0 (Results 1 – 9 of 9) sorted by relevance

/openthread-latest/third_party/mbedtls/repo/3rdparty/everest/library/
DHacl_Curve25519.c34 uint64_t b0 = b[0U]; in Hacl_Bignum_Modulo_carry_top() local
36 uint64_t b0_ = b0 + (uint64_t)19U * (b4 >> (uint32_t)51U); in Hacl_Bignum_Modulo_carry_top()
81 uint64_t b0; in Hacl_Bignum_Fmul_shift_reduce() local
92 b0 = output[0U]; in Hacl_Bignum_Fmul_shift_reduce()
93 output[0U] = (uint64_t)19U * b0; in Hacl_Bignum_Fmul_shift_reduce()
129 uint128_t b0; in Hacl_Bignum_Fmul_fmul() local
139 b0 = t[0U]; in Hacl_Bignum_Fmul_fmul()
141 b0_ = b0 + (uint128_t)(uint64_t)19U * (uint64_t)(b4 >> (uint32_t)51U); in Hacl_Bignum_Fmul_fmul()
182 uint128_t b0; in Hacl_Bignum_Fsquare_fsquare_() local
192 b0 = tmp[0U]; in Hacl_Bignum_Fsquare_fsquare_()
[all …]
/openthread-latest/third_party/mbedtls/repo/3rdparty/everest/library/legacy/
DHacl_Curve25519.c37 uint64_t b0 = b[0U]; in Hacl_Bignum_Modulo_carry_top() local
39 uint64_t b0_ = b0 + (uint64_t)19U * (b4 >> (uint32_t)51U); in Hacl_Bignum_Modulo_carry_top()
89 uint64_t b0; in Hacl_Bignum_Fmul_shift_reduce() local
100 b0 = output[0U]; in Hacl_Bignum_Fmul_shift_reduce()
101 output[0U] = (uint64_t)19U * b0; in Hacl_Bignum_Fmul_shift_reduce()
141 FStar_UInt128_uint128 b0; in Hacl_Bignum_Fmul_fmul() local
151 b0 = t[0U]; in Hacl_Bignum_Fmul_fmul()
154 FStar_UInt128_add(b0, in Hacl_Bignum_Fmul_fmul()
217 FStar_UInt128_uint128 b0; in Hacl_Bignum_Fsquare_fsquare_() local
227 b0 = tmp[0U]; in Hacl_Bignum_Fsquare_fsquare_()
[all …]
/openthread-latest/third_party/mbedtls/repo/tests/data_files/
Ddh.optlen.pem6 21:a6:54:82:cc:c0:4b:60:46:02:b0:e1:31:90:8a:
11 d0:11:f8:84:77:a1:b0:19:27:d7:38:13:ca:d4:84:
15 18:76:e7:ef:73:9d:51:60:d0:95:c9:68:41:88:b0:
17 ec:b0:55:6f:b7:13:12:a8:d7:c9:3b:b2:89:8e:a0:
19 0c:b0:2e:90:f3:23:fe:04:55:21:f3:4c:68:35:4a:
Ddh.998.pem8 fd:84:05:b0:df:36:15:29:4e:3e:23:3b:c3:ae:6b:
/openthread-latest/third_party/mbedtls/repo/library/
Dbn_mul.h810 [b0] "=&r" (tmp_b0), \
1050 mbedtls_mpi_uint s0, s1, b0, b1; \
1052 b0 = ( b << biH ) >> biH; \
1058 rx = s0 * b1; r0 = s0 * b0; \
1059 ry = s1 * b0; r1 = s1 * b1; \
/openthread-latest/third_party/mbedtls/repo/tests/data_files/dir3/
Dtest-ca.crt45 b8:fd:54:d8:00:54:90:8b:25:b0:27:dd:95:cd:a2:f7:84:07:
54 66:d9:1f:9b:f5:13:48:b0:4d:14:d1:de:b2:24:d9:78:7d:f5:
/openthread-latest/third_party/mbedtls/repo/tests/data_files/dir1/
Dtest-ca.crt45 b8:fd:54:d8:00:54:90:8b:25:b0:27:dd:95:cd:a2:f7:84:07:
54 66:d9:1f:9b:f5:13:48:b0:4d:14:d1:de:b2:24:d9:78:7d:f5:
/openthread-latest/third_party/mbedtls/repo/tests/data_files/dir2/
Dtest-ca.crt45 b8:fd:54:d8:00:54:90:8b:25:b0:27:dd:95:cd:a2:f7:84:07:
54 66:d9:1f:9b:f5:13:48:b0:4d:14:d1:de:b2:24:d9:78:7d:f5:
/openthread-latest/third_party/mbedtls/repo/tests/suites/
Dtest_suite_debug.data63 … 89 29 79 45 80 d0\nMyFile(0999)\: 83 6a d5 41 43 77 5f 39 7c 09 04 47 82 b0 57 39\nMyFile(0999)\…