From: Brian Ambielli <BrianAmbielli2007@u.northwestern.edu>
Date: Fri, 22 Mar 2013 21:13:56 +0000 (-0500)
Subject: Correct irq behavior for mouse
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=e376e4a1e05971bd34c1d45dac70d73429db863b;p=palacios.git

Correct irq behavior for mouse
---

diff --git a/palacios/src/devices/keyboard.c b/palacios/src/devices/keyboard.c
index cbdad8c..3a8e58a 100644
--- a/palacios/src/devices/keyboard.c
+++ b/palacios/src/devices/keyboard.c
@@ -246,13 +246,15 @@ static int update_kb_irq(struct keyboard_internal * state) {
 	state->status.mouse_buf_full = 1;
     } 
     
-    PrintDebug(VM_NONE, VCORE_NONE, "keyboard: interrupt 0x%d\n", irq_num);
+    PrintDebug(VM_NONE, VCORE_NONE, "keyboard: interrupt 0x%x\n", irq_num);
     
     if (irq_num) {
 	// Global output buffer flag (for both Keyboard and mouse)
 	state->status.out_buf_full = 1;
 	
-	if (state->cmd.irq_en == 1) { 
+	if ((irq_num==KEYBOARD_IRQ && state->cmd.irq_en == 1) || 
+	    (irq_num==MOUSE_IRQ && state->cmd.mouse_irq_en == 1)) { 
+
 	    v3_raise_irq(state->vm, irq_num);
 	}
     }