Index: uspace/lib/c/generic/device/hw_res.c
===================================================================
--- uspace/lib/c/generic/device/hw_res.c	(revision d51838f190d8e49cb00493b84858f7ad93996014)
+++ uspace/lib/c/generic/device/hw_res.c	(revision 82d515e917f3eeeff253e4aa30e493f5f632c950)
@@ -36,5 +36,5 @@
 #include <errno.h>
 #include <async.h>
-#include <malloc.h>
+#include <stdlib.h>
 
 int hw_res_get_resource_list(async_sess_t *sess,
Index: uspace/lib/c/generic/device/hw_res_parsed.c
===================================================================
--- uspace/lib/c/generic/device/hw_res_parsed.c	(revision d51838f190d8e49cb00493b84858f7ad93996014)
+++ uspace/lib/c/generic/device/hw_res_parsed.c	(revision 82d515e917f3eeeff253e4aa30e493f5f632c950)
@@ -34,7 +34,7 @@
 
 #include <device/hw_res_parsed.h>
-#include <malloc.h>
 #include <assert.h>
 #include <errno.h>
+#include <stdlib.h>
 
 static void hw_res_parse_add_dma_channel(hw_res_list_parsed_t *out,