Index: kernel/genarch/src/kbd/i8042.c
===================================================================
--- kernel/genarch/src/kbd/i8042.c	(revision ddf125514d3764354313749acf4362c79fc393c9)
+++ kernel/genarch/src/kbd/i8042.c	(revision c3b25510284424ef2c53af3ee332d64e0a30ab13)
@@ -169,8 +169,8 @@
 	i8042_mouse_irq.handler = i8042_irq_handler;
 	irq_register(&i8042_mouse_irq);
-	
+#ifndef ia64	
 	trap_virtual_enable_irqs(1 << kbd_inr);
 	trap_virtual_enable_irqs(1 << mouse_inr);
-	
+#endif	
 	/*
 	 * Clear input buffer.