Index: kernel/arch/ia64/src/drivers/ski.c
===================================================================
--- kernel/arch/ia64/src/drivers/ski.c	(revision 422fd8128e27e3ef94bbda7fc41018488abad2ca)
+++ kernel/arch/ia64/src/drivers/ski.c	(revision ccd1a14e21fb8efa476a06bf841a6d8d784c11a8)
@@ -216,12 +216,12 @@
 void ski_kbd_grab(void)
 {
+	kbd_disabled = false;
+}
+
+void ski_kbd_release(void)
+{
 	kbd_disabled = true;
 }
 
-void ski_kbd_release(void)
-{
-	kbd_disabled = false;
-}
-
 /** @}
  */
Index: kernel/arch/sparc64/src/drivers/sgcn.c
===================================================================
--- kernel/arch/sparc64/src/drivers/sgcn.c	(revision 422fd8128e27e3ef94bbda7fc41018488abad2ca)
+++ kernel/arch/sparc64/src/drivers/sgcn.c	(revision ccd1a14e21fb8efa476a06bf841a6d8d784c11a8)
@@ -280,5 +280,5 @@
 void sgcn_grab(void)
 {
-	kbd_disabled = true;
+	kbd_disabled = false;
 }