*** empty log message ***

[palacios.git] / palacios / src / devices / keyboard.c

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;