Index: uspace/lib/c/include/ipc/dev_iface.h
===================================================================
--- uspace/lib/c/include/ipc/dev_iface.h	(revision 01c3bb491370247ba1459d7e381e27022f09fed4)
+++ uspace/lib/c/include/ipc/dev_iface.h	(revision 82d515e917f3eeeff253e4aa30e493f5f632c950)
@@ -30,5 +30,5 @@
 #define LIBC_IPC_DEV_IFACE_H_
 
-#include <malloc.h>
+#include <stdlib.h>
 #include <types/common.h>
 
Index: uspace/lib/c/include/ipc/devman.h
===================================================================
--- uspace/lib/c/include/ipc/devman.h	(revision 01c3bb491370247ba1459d7e381e27022f09fed4)
+++ uspace/lib/c/include/ipc/devman.h	(revision 82d515e917f3eeeff253e4aa30e493f5f632c950)
@@ -36,6 +36,6 @@
 #include <ipc/common.h>
 #include <adt/list.h>
-#include <malloc.h>
 #include <mem.h>
+#include <stdlib.h>
 
 #define DEVMAN_NAME_MAXLEN  256
