Home
last modified time | relevance | path

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

/mbedtls-latest/library/
Dpoly1305.c71 uint32_t r0, r1, r2, r3; in poly1305_process() local
Dbignum_core.c334 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_core_shift_r() local
374 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_core_shift_l() local
/mbedtls-latest/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
/mbedtls-latest/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