Home
last modified time | relevance | path

Searched refs:a0 (Results 1 – 5 of 5) sorted by relevance

/mbedtls-latest/3rdparty/everest/library/
DHacl_Curve25519.c248 uint64_t *a0 = buf; in Hacl_Bignum_Crecip_crecip() local
258 Hacl_Bignum_Fsquare_fsquare_times(a0, z, (uint32_t)1U); in Hacl_Bignum_Crecip_crecip()
259 Hacl_Bignum_Fsquare_fsquare_times(t00, a0, (uint32_t)2U); in Hacl_Bignum_Crecip_crecip()
261 Hacl_Bignum_Fmul_fmul(a0, b0, a0); in Hacl_Bignum_Crecip_crecip()
262 Hacl_Bignum_Fsquare_fsquare_times(t00, a0, (uint32_t)1U); in Hacl_Bignum_Crecip_crecip()
506 uint64_t a0 = input[0U]; in Hacl_EC_Format_fcontract_trim() local
511 uint64_t mask0 = FStar_UInt64_gte_mask(a0, (uint64_t)0x7ffffffffffedU); in Hacl_EC_Format_fcontract_trim()
517 uint64_t a0_ = a0 - ((uint64_t)0x7ffffffffffedU & mask); in Hacl_EC_Format_fcontract_trim()
/mbedtls-latest/3rdparty/everest/library/legacy/
DHacl_Curve25519.c290 uint64_t *a0 = buf; in Hacl_Bignum_Crecip_crecip() local
300 Hacl_Bignum_Fsquare_fsquare_times(a0, z, (uint32_t)1U); in Hacl_Bignum_Crecip_crecip()
301 Hacl_Bignum_Fsquare_fsquare_times(t00, a0, (uint32_t)2U); in Hacl_Bignum_Crecip_crecip()
303 Hacl_Bignum_Fmul_fmul(a0, b0, a0); in Hacl_Bignum_Crecip_crecip()
304 Hacl_Bignum_Fsquare_fsquare_times(t00, a0, (uint32_t)1U); in Hacl_Bignum_Crecip_crecip()
551 uint64_t a0 = input[0U]; in Hacl_EC_Format_fcontract_trim() local
556 uint64_t mask0 = FStar_UInt64_gte_mask(a0, (uint64_t)0x7ffffffffffedU); in Hacl_EC_Format_fcontract_trim()
562 uint64_t a0_ = a0 - ((uint64_t)0x7ffffffffffedU & mask); in Hacl_EC_Format_fcontract_trim()
/mbedtls-latest/tests/suites/
Dtest_suite_debug.data63 …a0 6f 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(0…
Dtest_suite_pkcs7.data189 PKCS7 Parse Failure Invalid ASN1: Change tag a0 to 02 #28.0
197 PKCS7 Parse Failure Invalid ASN1: Change contents of tag a0 to contain one unaccounted extra byte #…
313 PKCS7 Parse Failure Invalid ASN1: Change tag a0 to 02 #59.0
321 PKCS7 Parse Failure Invalid ASN1: Change contents of tag a0 to contain one unaccounted extra byte #…
361 PKCS7 Parse Failure Invalid ASN1: Change tag a0 to 02 #71.0
369 PKCS7 Parse Failure Invalid ASN1: Change contents of tag a0 to contain one unaccounted extra byte #…
1342 PKCS7 Parse Failure Invalid ASN1: Change tag a0 to 02 #316.0
1350 PKCS7 Parse Failure Invalid ASN1: Change contents of tag a0 to contain one unaccounted extra byte #…
2159 PKCS7 Parse Failure Invalid ASN1: Change tag a0 to 02 #520.0
2167 PKCS7 Parse Failure Invalid ASN1: Change contents of tag a0 to contain one unaccounted extra byte #…
/mbedtls-latest/library/
Dbn_mul.h809 : [a0] "=&r" (tmp_a0), \