From 3480947667a66bf82cefaf9e704b1a1ebac61a2e 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 749b68b84..cd26409bb 100644
--- a/library/bignum.c
+++ b/library/bignum.c
@@ -1071,6 +1071,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 )
 {