Searched defs:u1 (Results 1 – 4 of 4) sorted by relevance
51 mbedtls_mpi u1, u2; /* intermediate values */ member504 mbedtls_mpi e, s_inv, u1, u2; in ecdsa_verify_restartable() local
491 mbedtls_mpi_uint u1 = ( T[0] + u0 * B[0] ) * mm; in mbedtls_mpi_core_montmul() local
1182 static mbedtls_mpi_uint mbedtls_int_div_int( mbedtls_mpi_uint u1, in mbedtls_int_div_int()
392 uint64_t u1 = scrut.fst; in FStar_UInt128_mul_wide_impl() local