ecp_curves: Minor rework for p384
This patch adjusts formatting, documentation and testing.
Signed-off-by: Minos Galanakis <minos.galanakis@arm.com>
diff --git a/library/ecp_invasive.h b/library/ecp_invasive.h
index 501152c..d2ac20a 100644
--- a/library/ecp_invasive.h
+++ b/library/ecp_invasive.h
@@ -165,7 +165,7 @@
/** Fast quasi-reduction modulo p384 (FIPS 186-3 D.2.4)
*
* \param[in,out] X The address of the MPI to be converted.
- * Must have exact limb size of `(766 / biL) + 1`.
+ * Must have exact limb size of `768 / biL`.
* Upon return holds the reduced value which is
* in range `0 <= X < 2 * N` (where N is the modulus).
* The bitlength of the reduced value is the same as