Home
last modified time | relevance | path

Searched defs:u1 (Results 1 – 4 of 4) sorted by relevance

/mbedtls-3.4.0/library/
Decdsa.c51 mbedtls_mpi u1, u2; /* intermediate values */ member
504 mbedtls_mpi e, s_inv, u1, u2; in ecdsa_verify_restartable() local
Dbignum_core.c491 mbedtls_mpi_uint u1 = ( T[0] + u0 * B[0] ) * mm; in mbedtls_mpi_core_montmul() local
Dbignum.c1182 static mbedtls_mpi_uint mbedtls_int_div_int( mbedtls_mpi_uint u1, in mbedtls_int_div_int()
/mbedtls-3.4.0/3rdparty/everest/library/kremlib/
DFStar_UInt128_extracted.c392 uint64_t u1 = scrut.fst; in FStar_UInt128_mul_wide_impl() local