1 files changed, 11 insertions, 2 deletions
diff --git a/libddekit/include/ddekit/memory.h b/libddekit/include/ddekit/memory.h
index 051a4d9e..2c573d8f 100644
--- a/libddekit/include/ddekit/memory.h
+++ b/libddekit/include/ddekit/memory.h
@@ -123,6 +123,9 @@ void *ddekit_contig_malloc(
  ** Simple memory allocator **
  *****************************/
 
+#include <stdlib.h>
+#include "ddekit/inline.h"
+
 /**
  * Allocate memory block via simple allocator
  *
@@ -132,13 +135,19 @@ void *ddekit_contig_malloc(
  * The blocks allocated via this allocator CANNOT be used for DMA or other
  * device operations, i.e., there exists no virt->phys mapping.
  */
-void *ddekit_simple_malloc(unsigned size);
+static INLINE void *ddekit_simple_malloc(unsigned size)
+{
+	return malloc (size);
+}
 
 /**
  * Free memory block via simple allocator
  *
  * \param p  pointer to memory block
  */
-void ddekit_simple_free(void *p);
+static INLINE void ddekit_simple_free(void *p)
+{
+	free (p);
+}
 
 #endif