Index: kernel/arch/ia64/include/ski/ski.h
===================================================================
--- kernel/arch/ia64/include/ski/ski.h	(revision 46db10e9dce687ab447a98a868f099f0b792fcd5)
+++ kernel/arch/ia64/include/ski/ski.h	(revision db4ce845185d0afbdb84c938b2e579a7b5fb8bf2)
@@ -37,5 +37,5 @@
 
 #include <arch/types.h>
-#include <console/console.h>
+#include <console/chardev.h>
 
 #define SKI_INIT_CONSOLE	20
@@ -43,12 +43,7 @@
 #define SKI_PUTCHAR		31
 
-extern chardev_t ski_uconsole;
-
-extern void ski_init_console(void);
-
+extern void ski_console_init(chardev_t *);
 extern void ski_kbd_grab(void);
 extern void ski_kbd_release(void);
-
-extern void kkbdpoll(void *arg);
 
 #endif