Searched defs:u1 (Results 1 – 5 of 5) sorted by relevance
38 mbedtls_mpi u1, u2; /* intermediate values */ member496 mbedtls_mpi e, s_inv, u1, u2; in mbedtls_ecdsa_verify_restartable() local
540 mbedtls_mpi_uint u1 = (T[0] + u0 * B[0]) * mm; in mbedtls_mpi_core_montmul() local
1290 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
1423 uint32_t u1[8], u2[8]; in p256_ecdsa_verify() local