3 files changed, 4 insertions, 13 deletions
diff --git a/libddekit/include/ddekit/memory.h b/libddekit/include/ddekit/memory.h
index 2c573d8f..051a4d9e 100644
--- a/libddekit/include/ddekit/memory.h
+++ b/libddekit/include/ddekit/memory.h
@@ -123,9 +123,6 @@ void *ddekit_contig_malloc(
  ** Simple memory allocator **
  *****************************/
 
-#include <stdlib.h>
-#include "ddekit/inline.h"
-
 /**
  * Allocate memory block via simple allocator
  *
@@ -135,19 +132,13 @@ 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.
  */
-static INLINE void *ddekit_simple_malloc(unsigned size)
-{
-	return malloc (size);
-}
+void *ddekit_simple_malloc(unsigned size);
 
 /**
  * Free memory block via simple allocator
  *
  * \param p  pointer to memory block
  */
-static INLINE void ddekit_simple_free(void *p)
-{
-	free (p);
-}
+void ddekit_simple_free(void *p);
 
 #endif
diff --git a/libddekit/include/ddekit/panic.h b/libddekit/include/ddekit/panic.h
index 11c46ebb..f036ab3e 100644
--- a/libddekit/include/ddekit/panic.h
+++ b/libddekit/include/ddekit/panic.h
@@ -3,7 +3,7 @@
 
 /** \defgroup DDEKit_util */
 
-#include <stdio.h>
+#include "c_headers.h"
 
 /** Panic - print error message and enter the kernel debugger.
  * \ingroup DDEKit_util
diff --git a/libddekit/include/ddekit/printf.h b/libddekit/include/ddekit/printf.h
index 35b0dfa1..aa086c71 100644
--- a/libddekit/include/ddekit/printf.h
+++ b/libddekit/include/ddekit/printf.h
@@ -1,7 +1,7 @@
 #ifndef _ddekit_print_h
 #define _ddekit_print_h
 
-#include <stdarg.h>
+#include "c_headers.h"
 
 /** Print message.
  * \ingroup DDEKit_util