Extract MPI_CORE(mul) from the prototype

Signed-off-by: Hanno Becker <hanno.becker@arm.com>
Signed-off-by: Gabor Mezei <gabor.mezei@arm.com>
diff --git a/library/bignum_core.c b/library/bignum_core.c
index e50f043..1ec5340 100644
--- a/library/bignum_core.c
+++ b/library/bignum_core.c
@@ -448,6 +448,15 @@
     return c;
 }
 
+void MPI_CORE(mul)( mbedtls_mpi_uint *X,
+                    const mbedtls_mpi_uint *A, size_t a,
+                    const mbedtls_mpi_uint *B, size_t b )
+{
+    memset( X, 0, ( a + b ) * ciL );
+    for( size_t i=0; i < b; i++ )
+        (void) mbedtls_mpi_core_mla( X + i, a + 1, A, a, B[i] );
+}
+
 /*
  * Fast Montgomery initialization (thanks to Tom St Denis).
  */