modified copyright tags

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

diff --git a/palacios/include/palacios/svm.h b/palacios/include/palacios/svm.h
index 3ede354..22cb157 100644 (file)
--- a/palacios/include/palacios/svm.h
+++ b/palacios/include/palacios/svm.h
@@ -1,12 +1,19 @@
+/* (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/vmcb.h>
+#include <palacios/vmm_util.h>
+
 #define CPUID_FEATURE_IDS 0x80000001
 #define CPUID_FEATURE_IDS_ecx_svm_avail 0x00000004