Home
last modified time | relevance | path

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

/mbedtls-development/library/
A Dpoly1305.c101 uint32_t r0, r1, r2, r3; in poly1305_process() local
A Dbignum.c1094 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_shift_l() local
1144 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_shift_r() local
/mbedtls-development/3rdparty/everest/library/
A 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-development/3rdparty/everest/library/legacy/
A 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

Completed in 12 milliseconds