diff --git a/library/alignment.h b/library/alignment.h
index a5b71d306f..755cde3846 100644
--- a/library/alignment.h
+++ b/library/alignment.h
@@ -32,7 +32,7 @@
  *
  * \param   p pointer to 4 bytes of data
  */
-static inline uint32_t mbedtls_get_unaligned_uint32( void const *p )
+inline uint32_t mbedtls_get_unaligned_uint32( void const *p )
 {
     uint32_t r;
     memcpy( &r, p, 4 );
@@ -46,7 +46,7 @@ static inline uint32_t mbedtls_get_unaligned_uint32( void const *p )
  * \param   p pointer to 4 bytes of data
  * \param   x data to write
  */
-static inline void mbedtls_put_unaligned_uint32( void *p, uint32_t x )
+inline void mbedtls_put_unaligned_uint32( void *p, uint32_t x )
 {
     memcpy( p, &x, 4 );
 }
diff --git a/library/platform_util.c b/library/platform_util.c
index 8fba664d27..7843609e1f 100644
--- a/library/platform_util.c
+++ b/library/platform_util.c
@@ -144,7 +144,11 @@ void (*mbedtls_test_hook_test_fail)( const char *, int, const char *);
 #endif /* MBEDTLS_TEST_HOOKS */
 
 /*
- * Provide an external definition of mbedtls_xor so that the compiler
- * has the option to not inline it
+ * Provide external definitions of some inline functions so that the compiler
+ * has the option to not inline them
  */
 extern inline void mbedtls_xor( unsigned char *r, unsigned char const *a, unsigned char const *b, size_t n );
+
+extern inline uint32_t mbedtls_get_unaligned_uint32( void const *p );
+
+extern inline void mbedtls_put_unaligned_uint32( void *p, uint32_t x );
\ No newline at end of file