X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_dev_mgr.h;fp=palacios%2Finclude%2Fpalacios%2Fvmm_dev_mgr.h;h=11b0d2880ebe11f37e42700f60a507b9ffab92d0;hp=931bdd3b290734f2daed06dc3f557b26a9b22684;hb=a5c5675571882a9b8a7594ef07fe303b195ef9ae;hpb=9b78fe7d41b07fd135eae2282cc18ccb964e7de3

diff --git a/palacios/include/palacios/vmm_dev_mgr.h b/palacios/include/palacios/vmm_dev_mgr.h
index 931bdd3..11b0d28 100644
--- a/palacios/include/palacios/vmm_dev_mgr.h
+++ b/palacios/include/palacios/vmm_dev_mgr.h
@@ -1,6 +1,8 @@
 #ifndef _VMM_DEV_MGR
 #define _VMM_DEV_MGR
 
+#ifdef __V3VEE__
+
 #include <palacios/vmm_types.h>
 #include <palacios/vmm_list.h>
 #include <palacios/vmm_string.h>
@@ -36,7 +38,7 @@ int v3_unattach_device(struct vm_device *dev);
 
 
 
-#ifdef __V3VEE__
+
 
 struct dev_io_hook {
   ushort_t port;