Index: uspace/lib/libc/include/ipc/dev_iface.h
===================================================================
--- uspace/lib/libc/include/ipc/dev_iface.h	(revision 8c069051b9bc1cdcb7cbc1b01fce79aacc0d72ef)
+++ uspace/lib/libc/include/ipc/dev_iface.h	(revision 2480e1950e6008ddc8de893c9387eea1d9ce607e)
@@ -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;	
 }