X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fkeyboard.c;fp=palacios%2Fsrc%2Fdevices%2Fkeyboard.c;h=ed00282f6c6b07de4f65ba172fdbc577aec83635;hb=82cceefa66b1f05d8f9d5bfcb2fb7214755e1904;hp=29485be41404941bce21ce8d6676ba2dbfd53d26;hpb=85bd8c855496fdcef8fbffb1742398f01718c5c3;p=palacios.git

diff --git a/palacios/src/devices/keyboard.c b/palacios/src/devices/keyboard.c
index 29485be..ed00282 100644
--- a/palacios/src/devices/keyboard.c
+++ b/palacios/src/devices/keyboard.c
@@ -337,7 +337,15 @@ static struct vm_device *demultiplex_injected_mouse(uchar_t mouse_packet[3])
   return thekeyboard;
 }
 
-int keyboard_interrupt(uint_t irq, struct vm_device * dev);
+
+int keyboard_interrupt(uint_t irq, struct vm_device * dev) {
+  PrintDebug("keyboard: interrupt 0x%x\n", irq);
+
+  dev->vm->vm_ops.raise_irq(dev->vm, irq);
+
+  return 0;
+
+}
 
 void deliver_key_to_vmm(uchar_t status, uchar_t scancode)
 {
@@ -1141,15 +1149,7 @@ int keyboard_read_input(ushort_t port,
 }
 
 
-int keyboard_interrupt(uint_t irq, struct vm_device * dev) 
-{
-  PrintDebug("keyboard: interrupt 0x%x\n", irq);
-
-  dev->vm->vm_ops.raise_irq(dev->vm, irq);
 
-  return 0;
-
-}
 
 
 int keyboard_init_device(struct vm_device * dev)