Index: arch/ia64/src/drivers/keyboard.c
===================================================================
--- arch/ia64/src/drivers/keyboard.c	(revision 5803145469be60e6aa7cd5bb34d33051443a47e9)
+++ arch/ia64/src/drivers/keyboard.c	(revision 8ac5fe7ab4a40cd0718fa8993180d23e76d814cd)
@@ -1,5 +1,3 @@
 /*
- * Copyright (C) 2003 Josef Cejka
- * Copyright (C) 2005 Jakub Jermar
  * Copyright (C) 2005 Jakub Vana
  * All rights reserved.
@@ -47,7 +45,5 @@
 };
 
-
-int kb_disable;
-
+bool kb_disable;
 
 /** Initialize keyboard subsystem. */
@@ -59,14 +55,17 @@
 }
 
-/** Process keyboard interrupt. */
+/** Ask keyboard if a key was pressed. */
 void poll_keyboard(void)
 {
-	if(kb_disable) return;
 	char ch;
 
+	if (kb_disable)
+		return;
+
 	ch = ski_getchar();
-	if(ch=='\r') ch='\n'; 
-	if(ch) chardev_push_character(&kbrd, ch);
-	
+	if(ch == '\r')
+		ch = '\n'; 
+	if (ch)
+		chardev_push_character(&kbrd, ch);
 }
 
@@ -74,5 +73,5 @@
 void keyboard_enable(void)
 {
-	kb_disable=false;
+	kb_disable = false;
 }
 
@@ -80,4 +79,4 @@
 void keyboard_disable(void)
 {
-	kb_disable=true;	
+	kb_disable = true;	
 }
Index: arch/ia64/src/ski/ski.c
===================================================================
--- arch/ia64/src/ski/ski.c	(revision 5803145469be60e6aa7cd5bb34d33051443a47e9)
+++ arch/ia64/src/ski/ski.c	(revision 8ac5fe7ab4a40cd0718fa8993180d23e76d814cd)
@@ -66,11 +66,12 @@
 }
 
-
-/** Display character on debug console
+/** Ask debug console if a key was pressed.
  *
  * Use SSC (Simulator System Call) to
  * get character from debug console.
- * Non blocking HW call
- * @return Returns ascii code of pressed key or 0 if no key pressed
+ *
+ * This call is non-blocking.
+ *
+ * @return ASCII code of pressed key or 0 if no key pressed.
  */
 __s32 ski_getchar(void)