Added support for the wbinvd instruction exit

diff --git a/palacios/include/palacios/svm_handler.h b/palacios/include/palacios/svm_handler.h
index bd3aae4..8fee2b1 100644 (file)
--- a/palacios/include/palacios/svm_handler.h
+++ b/palacios/include/palacios/svm_handler.h
@@ -70,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

diff --git a/palacios/include/palacios/svm_wbinvd.h b/palacios/include/palacios/svm_wbinvd.h
new file mode 100644 (file)
index 0000000..1260386
--- /dev/null
+++ b/palacios/include/palacios/svm_wbinvd.h
@@ -0,0 +1,16 @@
+#ifndef __SVM_WBINVD_H
+#define __SVM_WBINVD_H
+
+#ifdef __V3VEE__
+
+#include <palacios/vm_guest.h>
+#include <palacios/vmcb.h>
+#include <palacios/vmm.h>
+
+
+int handle_svm_wbinvd(struct guest_info * info);
+
+
+#endif // ! __V3VEE__
+
+#endif