*** empty log message ***

diff --git a/palacios/src/devices/generic.c b/palacios/src/devices/generic.c
index 269840e..508128e 100644 (file)
--- a/palacios/src/devices/generic.c
+++ b/palacios/src/devices/generic.c
@@ -115,7 +115,7 @@ int generic_interrupt(uint_t irq,
 {
   PrintDebug("generic: interrupt 0x%x - injecting into VM\n",irq);
 
-  dev->vm->vm_ops.raise_irq(dev->vm,irq,0);
+  dev->vm->vm_ops.raise_irq(dev->vm,irq);
 
   return 0;
 

diff --git a/palacios/src/devices/keyboard.c b/palacios/src/devices/keyboard.c
index 3ef783e..16fdda6 100644 (file)
--- a/palacios/src/devices/keyboard.c
+++ b/palacios/src/devices/keyboard.c
@@ -185,7 +185,7 @@ int keyboard_interrupt(uint_t irq,
 {
   KEYBOARD_DEBUG_PRINT("keyboard: interrupt\n");
 
-  dev->vm->vm_ops.raise_irq(dev->vm,irq,0);
+  dev->vm->vm_ops.raise_irq(dev->vm,irq);
 
   return 0;