tree 0dfe1b23eacf82e31a97f39d5649ffbb9662b725
parent c3902ac6614c12133393be38ca21c7fb9e059812
author Gilles Peskine <Gilles.Peskine@arm.com> 1663691915 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1669932403 +0100

New constant-flow function mbedtls_mpi_core_uint_le_mpi

Compare a single-limb MPI with a multi-limb MPI. This is rather ad hoc, but
will be useful for mbedtls_mpi_core_random.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>