Index: kernel/genarch/src/kbd/i8042.c
===================================================================
--- kernel/genarch/src/kbd/i8042.c	(revision 9b35499759aea1863b4a5b9ea28a713e50adcb90)
+++ kernel/genarch/src/kbd/i8042.c	(revision 4ec91b2fbbc88da298736671cc23c63ab5e8ec4c)
@@ -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.