Home
last modified time | relevance | path

Searched defs:r0 (Results 1 – 4 of 4) sorted by relevance

/openthread-3.6.0/third_party/mbedtls/repo/library/
Dpoly1305.c101 uint32_t r0, r1, r2, r3; in poly1305_process() local
Dbignum.c940 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_shift_l() local
990 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_shift_r() local
/openthread-3.6.0/third_party/mbedtls/repo/3rdparty/everest/library/
DHacl_Curve25519.c71 uint64_t r0 = (uint64_t)tctr & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fproduct_carry_wide_() local
157 uint64_t r0 = output[0U]; in Hacl_Bignum_Fsquare_fsquare__() local
/openthread-3.6.0/third_party/mbedtls/repo/3rdparty/everest/library/legacy/
DHacl_Curve25519.c79 uint64_t r0 = FStar_UInt128_uint128_to_uint64(tctr) & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fproduct_carry_wide_() local
172 uint64_t r0 = output[0U]; in Hacl_Bignum_Fsquare_fsquare__() local