Index: kernel/arch/ia64/src/drivers/ski.c
===================================================================
--- kernel/arch/ia64/src/drivers/ski.c	(revision 253d3d0b04f3cdd9b3b0618555c429868401a3d7)
+++ kernel/arch/ia64/src/drivers/ski.c	(revision 9701d49a574c992db9dff0fef7dde0e5c856089f)
@@ -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;
-}
-
 /** @}
  */