Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision f651e80e2ba6968d9e184dd8ca7fa6e5b779caaf)
+++ kernel/arch/ia64/src/ia64.c	(revision 741a7af97a6bf9ef56b7daf5b202cca4bd40abe5)
@@ -255,6 +255,6 @@
 #else
 	i8042_grab();
-#endif	
-#endif	
+#endif
+#endif
 }
 
Index: kernel/arch/ia64/src/ski/ski.c
===================================================================
--- kernel/arch/ia64/src/ski/ski.c	(revision f651e80e2ba6968d9e184dd8ca7fa6e5b779caaf)
+++ kernel/arch/ia64/src/ski/ski.c	(revision 741a7af97a6bf9ef56b7daf5b202cca4bd40abe5)
@@ -57,7 +57,4 @@
 static bool kbd_disabled;
 
-static void ski_putchar(chardev_t *d, const char ch);
-static int32_t ski_getchar(void);
-
 /** Display character on debug console
  *
@@ -68,17 +65,19 @@
  * @param ch Character to be printed.
  */
-void ski_putchar(chardev_t *d, const char ch)
-{
-	asm volatile (
-		"mov r15 = %0\n"
-		"mov r32 = %1\n"	/* r32 is in0 */
-		"break 0x80000\n"	/* modifies r8 */
-		:
-		: "i" (SKI_PUTCHAR), "r" (ch)
-		: "r15", "in0", "r8"
-	);
-	
-	if (ch == '\n')
-		ski_putchar(d, '\r');
+static void ski_putchar(chardev_t *d, const char ch, bool silent)
+{
+	if (!silent) {
+		asm volatile (
+			"mov r15 = %0\n"
+			"mov r32 = %1\n"   /* r32 is in0 */
+			"break 0x80000\n"  /* modifies r8 */
+			:
+			: "i" (SKI_PUTCHAR), "r" (ch)
+			: "r15", "in0", "r8"
+		);
+		
+		if (ch == '\n')
+			ski_putchar(d, '\r');
+	}
 }
 
@@ -92,5 +91,5 @@
  * @return ASCII code of pressed key or 0 if no key pressed.
  */
-int32_t ski_getchar(void)
+static int32_t ski_getchar(void)
 {
 	uint64_t ch;