Index: arch/ia64/src/ski/ski.c
===================================================================
--- arch/ia64/src/ski/ski.c	(revision 6095342f82cb691572e06dbe4aef66ee04a8d94a)
+++ arch/ia64/src/ski/ski.c	(revision 72f5866d024b9caad084cece4024c1293f3ba11f)
@@ -34,4 +34,7 @@
 static bool kb_disable;
 
+static void ski_write(chardev_t *d, const char ch);
+static __s32 ski_getchar(void);
+
 /** Display character on debug console
  *
@@ -39,5 +42,6 @@
  * display character on debug console.
  *
- * @param ch   Character to be printed.
+ * @param d Character device.
+ * @param ch Character to be printed.
  */
 void ski_write(chardev_t *d, const char ch)
@@ -52,5 +56,6 @@
 	);
 	
-	if (ch == '\n') ski_putchar('\r');
+	if (ch == '\n')
+		ski_write(d, '\r');
 }
 
@@ -97,5 +102,5 @@
 
 /* Called from getc(). */
-static void ski_kb_enable(chardev_t *)
+static void ski_kb_enable(chardev_t *d)
 {
 	kb_disable = false;