Added support for the wbinvd instruction exit

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

diff --git a/palacios/include/palacios/svm_handler.h b/palacios/include/palacios/svm_handler.h
index 1557ad0..8fee2b1 100644 (file)
--- a/palacios/include/palacios/svm_handler.h
+++ b/palacios/include/palacios/svm_handler.h
@@ -1,5 +1,8 @@
 #ifndef __SVM_HANDLER_H
 #define __SVM_HANDLER_H
+
+#ifdef __V3VEE__
+
 #include <palacios/svm.h>
 #include <palacios/vmcb.h>
 #include <palacios/vmm.h>
@@ -67,7 +70,7 @@
 #define VMEXIT_DR15_READ  0x0000002f
 
 #define VMEXIT_DR_WRITE_MASK     0xffffffc0
-#define VMEXIT_DR0_WRITE   0x0000003f
+#define VMEXIT_DR0_WRITE   0x00000030 // ? this was previously 3f
 #define VMEXIT_DR1_WRITE   0x00000031
 #define VMEXIT_DR2_WRITE   0x00000032
 #define VMEXIT_DR3_WRITE   0x00000033
@@ -165,6 +168,8 @@
 #define VMEXIT_MWAIT                0x0000008b
 #define VMEXIT_MWAIT_CONDITIONAL    0x0000008c
 
+#define VMEXIT_NPF                  0x00000400
+
 #define VMEXIT_INVALID_VMCB         -1
 
 /******************************************/
@@ -178,4 +183,6 @@ int handle_svm_intr(struct guest_info * info);
 
 int handle_svm_exit(struct guest_info * info);
 
+#endif // ! __V3VEE__
+
 #endif