Searched defs:r1 (Results 1 – 5 of 5) sorted by relevance
83 uint32_t r0, r1, r2, r3; in poly1305_process() local
323 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_core_shift_r() local
736 mbedtls_mpi_uint r0 = 0, r1; in mbedtls_mpi_shift_l() 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