Index: kernel/arch/ia64/include/ski/ski.h
===================================================================
--- kernel/arch/ia64/include/ski/ski.h	(revision 2270bef6e7fc859f0382d28283d4f427fc3d1c91)
+++ kernel/arch/ia64/include/ski/ski.h	(revision 03976d60a9800a9adc3d5c6144b8811b161816c3)
@@ -36,5 +36,4 @@
 #define KERN_ia64_SKI_H_
 
-#include <arch/types.h>
 #include <console/chardev.h>
 
@@ -43,5 +42,6 @@
 #define SKI_PUTCHAR		31
 
-extern void ski_console_init(chardev_t *);
+extern indev_t *skiin_init(void);
+extern void skiout_init(void);
 extern void ski_kbd_grab(void);
 extern void ski_kbd_release(void);