Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 534bcdf6f87db58a9f44fa4244510aeed09d0c4e)
+++ kernel/arch/amd64/src/amd64.c	(revision 46e886fb215db4c5bd1015c2bfd2c6d661dd93bd)
@@ -121,5 +121,5 @@
 		/* PIC */
 		i8259_init((i8259_t *) I8259_PIC0_BASE,
-		    (i8259_t *) I8259_PIC1_BASE, IRQ_PIC1, IVT_IRQBASE);
+		    (i8259_t *) I8259_PIC1_BASE, IVT_IRQBASE);
 
 		/*