Index: uspace/kbd/arch/ia64/src/kbd.c
===================================================================
--- uspace/kbd/arch/ia64/src/kbd.c	(revision 95b355086cd805dc6f9cc96f44fa2ef92cecd8b5)
+++ uspace/kbd/arch/ia64/src/kbd.c	(revision deb14fb3367eb949b89e653259a597e4debc46da)
@@ -68,5 +68,5 @@
 {
 	if (sysinfo_value("kbd")) {
-		ipc_register_irq(sysinfo_value("kbd.irq"), &ski_kbd);
+		ipc_register_irq(sysinfo_value("kbd.inr"), sysinfo_value("kbd.devno"), 0, &ski_kbd);
 		return 0;
 	}	
@@ -85,7 +85,7 @@
 int kbd_arch_process(keybuffer_t *keybuffer, ipc_call_t *call) 
 {
-	static unsigned long long buf=0;
-	static int count=0;	
-	static int esc_count=0;
+	static unsigned long long buf = 0;
+	static int count = 0;	
+	static int esc_count = 0;
 	int scan_code = IPC_GET_ARG2(*call);