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 bde5c044624f5375df5235c6f6f2f4a7286fbe1a)
@@ -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 bde5c044624f5375df5235c6f6f2f4a7286fbe1a)
@@ -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