X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=geekos%2Fsrc%2Fgeekos%2Fkeyboard.c;fp=geekos%2Fsrc%2Fgeekos%2Fkeyboard.c;h=501359e2a510912e25ef4e65df675bf16409c0ac;hp=e33e9895f30c10692b080e29140cad322871bba4;hb=a46778669bb94bcf6b0a05646123ff748cfe86be;hpb=82cceefa66b1f05d8f9d5bfcb2fb7214755e1904

diff --git a/geekos/src/geekos/keyboard.c b/geekos/src/geekos/keyboard.c
index e33e989..501359e 100644
--- a/geekos/src/geekos/keyboard.c
+++ b/geekos/src/geekos/keyboard.c
@@ -36,13 +36,14 @@
 #include <geekos/keyboard.h>
 
 
+#include <geekos/vmm_stubs.h>
 
 
 
-static enum {TARGET_GEEKOS,TARGET_VMM} target = TARGET_VMM;
+static enum {TARGET_GEEKOS, TARGET_VMM} target = TARGET_VMM;
+
 
 
-extern void deliver_key_to_vmm(uchar_t status, uchar_t scancode);
 
 /* ----------------------------------------------------------------------
  * Private data and functions
@@ -264,7 +265,7 @@ noflagchange:
       
 skip_flagchange:
 
-      if (target==TARGET_GEEKOS) { 
+      if (target == TARGET_GEEKOS) { 
 	if (raw_scancode==0xc4) {  // F10 release
 	  Print("Switching keyboard to VMM\n");
 	  target=TARGET_VMM;
@@ -284,13 +285,15 @@ skip_flagchange:
 	   */
 	  g_needReschedule = true;
 	}
-      } else if (target==TARGET_VMM) { 
-	if (raw_scancode==0xc4) {   // F10 release
+      } else if (target == TARGET_VMM) { 
+
+	if (raw_scancode == 0xc4) {   // F10 release
 	  Print("Switching keyboard to GeekOS\n");
-	  target=TARGET_GEEKOS;
+	  target = TARGET_GEEKOS;
 	} else {
-	  deliver_key_to_vmm(raw_status,raw_scancode);
+	  send_key_to_vmm(raw_status, raw_scancode);
 	}
+
       }
     }