From 3f6f0e44ebe755d7a515a830b9768f3e1812d275 Mon Sep 17 00:00:00 2001
From: Janos Follath <janos.follath@arm.com>
Date: Mon, 14 Oct 2019 09:09:32 +0100
Subject: [PATCH] Document ct_lt_mpi_uint

---
 library/bignum.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/library/bignum.c b/library/bignum.c
index cee6662689..d310adbab0 100644
--- a/library/bignum.c
+++ b/library/bignum.c
@@ -1148,6 +1148,13 @@ int mbedtls_mpi_cmp_mpi( const mbedtls_mpi *X, const mbedtls_mpi *Y )
     return( 0 );
 }
 
+/** Decide if an integer is less than the other, without branches.
+ *
+ * \param x         First integer.
+ * \param y         Second integer.
+ *
+ * \return          1 if \p x is less than \p y, 0 otherwise
+ */
 static unsigned ct_lt_mpi_uint( const mbedtls_mpi_uint x,
         const mbedtls_mpi_uint y )
 {