diff --git a/headers/private/kernel/util/iovec_support.h b/headers/private/kernel/util/iovec_support.h
index bf8d668b9c..29a6653d33 100644
--- a/headers/private/kernel/util/iovec_support.h
+++ b/headers/private/kernel/util/iovec_support.h
@@ -9,6 +9,13 @@
 #include <KernelExport.h>
 
 
+typedef struct generic_io_vec {
+	generic_addr_t	base;
+	generic_size_t	length;
+} generic_io_vec;
+
+
+#ifdef IS_USER_ADDRESS
 static inline status_t
 get_iovecs_from_user(const iovec* userVecs, size_t vecCount, iovec*& vecs,
 	bool permitNull = false)
@@ -46,6 +53,7 @@ get_iovecs_from_user(const iovec* userVecs, size_t vecCount, iovec*& vecs,
 
 	return B_OK;
 }
+#endif
 
 
 #endif	// _UTIL_IOVEC_SUPPORT_H
diff --git a/src/system/kernel/device_manager/dma_resources.h b/src/system/kernel/device_manager/dma_resources.h
index f2426fd31e..c52288c07c 100644
--- a/src/system/kernel/device_manager/dma_resources.h
+++ b/src/system/kernel/device_manager/dma_resources.h
@@ -13,6 +13,7 @@
 
 #include <lock.h>
 #include <util/DoublyLinkedList.h>
+#include <util/iovec_support.h>
 
 
 struct device_node;
@@ -20,12 +21,6 @@ struct IOOperation;
 struct IORequest;
 
 
-typedef struct generic_io_vec {
-	generic_addr_t	base;
-	generic_size_t	length;
-} generic_io_vec;
-
-
 struct dma_restrictions {
 	generic_addr_t	low_address;
 	generic_addr_t	high_address;