Rename exported symbols to please check-names.sh
Exported symbols seem to need the "mbedtls_" prefix, which has been
added to be128 and gf128mul_x_ble.
diff --git a/include/mbedtls/gf128mul.h b/include/mbedtls/gf128mul.h
index 41de39c..33d06ea 100644
--- a/include/mbedtls/gf128mul.h
+++ b/include/mbedtls/gf128mul.h
@@ -30,7 +30,7 @@
/**
* \brief Big-Endian definition for 128 bits elements
*/
-typedef unsigned char be128[16];
+typedef unsigned char mbedtls_be128[16];
/**
* \brief Multiplication in GF(128):
@@ -39,7 +39,7 @@
* \param x the 128-bits number you want to multiply
* \param r result
*/
-void gf128mul_x_ble(be128 r, const be128 x);
+void mbedtls_gf128mul_x_ble(mbedtls_be128 r, const mbedtls_be128 x);