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 409b0d6946674009a182db86b1ec6b897b5b9ed7)
@@ -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 409b0d6946674009a182db86b1ec6b897b5b9ed7)
@@ -280,5 +280,5 @@
 void sgcn_grab(void)
 {
-	kbd_disabled = true;
+	kbd_disabled = false;
 }