bug fix in deinit

[palacios.git] / palacios / include / palacios / svm.h

diff --git a/palacios/include/palacios/svm.h b/palacios/include/palacios/svm.h
index 3ede354..6a7f230 100644 (file)
--- a/palacios/include/palacios/svm.h
+++ b/palacios/include/palacios/svm.h
@@ -1,12 +1,21 @@
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
+
 #ifndef __SVM_H
 #define __SVM_H
 
-#include <palacios/vmm_util.h>
-#include <palacios/vmm.h>
-#include <palacios/vmcb.h>
+
+
 
 #ifdef __V3VEE__
 
+#include <palacios/vmm.h>
+
+
+#include <palacios/vmcb.h>
+#include <palacios/vmm_util.h>
+
 #define CPUID_FEATURE_IDS 0x80000001
 #define CPUID_FEATURE_IDS_ecx_svm_avail 0x00000004
 
@@ -55,12 +64,12 @@
 #define SVM_HANDLER_ERROR     0x1
 #define SVM_HANDLER_HALT      0x2
 
-#endif
 
 
 void Init_SVM(struct vmm_ctrl_ops * vmm_ops);
 int is_svm_capable();
 
+#endif