Index: uspace/lib/libc/include/ipc/dev_iface.h
===================================================================
--- uspace/lib/libc/include/ipc/dev_iface.h	(revision 5e598e0672f90eafab573f18bd2183d7e3c1bf30)
+++ uspace/lib/libc/include/ipc/dev_iface.h	(revision 89ce401a6041808200871d79a9a8dc5367992722)
@@ -32,4 +32,5 @@
 #include <ipc/ipc.h>
 #include <malloc.h>
+#include <unistd.h>
 
 #define DEV_IFACE_FIRST IPC_FIRST_USER_METHOD
@@ -88,6 +89,8 @@
 static inline void clean_hw_resource_list(hw_resource_list_t *hw_res)
 {
-	free(hw_res->resources);
-	hw_res->resources = 0;
+	if(NULL != hw_res->resources) {
+		free(hw_res->resources);
+		hw_res->resources = NULL;
+	}
 	hw_res->count = 0;	
 }