Searched defs:r0 (Results 1 – 4 of 4) sorted by relevance
101 uint32_t r0, r1, r2, r3; in poly1305_process() local
940 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_shift_l() local990 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_shift_r() local
71 uint64_t r0 = (uint64_t)tctr & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fproduct_carry_wide_() local157 uint64_t r0 = output[0U]; in Hacl_Bignum_Fsquare_fsquare__() local
79 uint64_t r0 = FStar_UInt128_uint128_to_uint64(tctr) & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fproduct_carry_wide_() local172 uint64_t r0 = output[0U]; in Hacl_Bignum_Fsquare_fsquare__() local