From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Wed, 2 Jun 2010 19:36:52 +0000 (-0500)
Subject: bug fix for Qemu EVENTINJ issue
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=8fff7af827c4d7c5a3625f1ca5bdeac7e6538742;p=palacios.git

bug fix for Qemu EVENTINJ issue
---

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index ae114ac..752e249 100644
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -286,6 +286,9 @@ int v3_init_svm_vmcb(struct guest_info * info, v3_vm_class_t vm_class) {
 static int update_irq_exit_state(struct guest_info * info) {
     vmcb_ctrl_t * guest_ctrl = GET_VMCB_CTRL_AREA((vmcb_t*)(info->vmm_data));
 
+    // Fix for QEMU bug using EVENTINJ as an internal cache
+    guest_ctrl->EVENTINJ.valid = 0;
+
     if ((info->intr_core_state.irq_pending == 1) && (guest_ctrl->guest_ctrl.V_IRQ == 0)) {
 	
 #ifdef CONFIG_DEBUG_INTERRUPTS