Searched defs:r1 (Results 1 – 4 of 4) sorted by relevance
101 uint32_t r0, r1, r2, r3; in poly1305_process() local
1094 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_shift_l() local1144 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_shift_r() local
158 uint64_t r1 = output[1U]; in Hacl_Bignum_Fsquare_fsquare__() local
173 uint64_t r1 = output[1U]; in Hacl_Bignum_Fsquare_fsquare__() local
Completed in 12 milliseconds