Index: kernel/arch/ia64/include/ski/ski.h
===================================================================
--- kernel/arch/ia64/include/ski/ski.h	(revision de57e0601410d3336e18d797fc95a74b2dce44c0)
+++ kernel/arch/ia64/include/ski/ski.h	(revision 715a847f39286d8a5751f93af972d0fdb8bfb951)
@@ -46,9 +46,9 @@
 
 extern void ski_init_console(void);
-extern void ski_set_console_sysinfo(void);
-extern void poll_keyboard(void);
 
 extern void ski_kbd_grab(void);
 extern void ski_kbd_release(void);
+
+extern void kkbdpoll(void *arg);
 
 #endif