diff --git a/BaS_gcc/include/interrupts.h b/BaS_gcc/include/interrupts.h
index 11325e3..5b6ebac 100644
--- a/BaS_gcc/include/interrupts.h
+++ b/BaS_gcc/include/interrupts.h
@@ -144,7 +144,7 @@ extern bool isr_execute_handler(int vector);
 extern bool pic_interrupt_handler(void *arg1, void *arg2);
 extern bool xlbpci_interrupt_handler(void *arg1, void *arg2);
 extern bool pciarb_interrupt_handler(void *arg1, void *arg2);
-extern bool xlbarb_interrupt_handler(void *arg1, void *arg2, ...);
+extern bool xlbarb_interrupt_handler(void *arg1, void *arg2);
 extern bool gpt0_interrupt_handler(void *arg1, void *arg2);
 extern bool irq5_handler(void *arg1, void *arg2);
 #endif /* _INTERRUPTS_H_ */
diff --git a/BaS_gcc/sys/interrupts.c b/BaS_gcc/sys/interrupts.c
index 267b8f0..aa8c6e9 100644
--- a/BaS_gcc/sys/interrupts.c
+++ b/BaS_gcc/sys/interrupts.c
@@ -435,19 +435,11 @@ bool pciarb_interrupt_handler(void *arg1, void *arg2)
     return true;
 }
 
-bool xlbarb_interrupt_handler(void *arg1, void *arg2, ...)
+bool xlbarb_interrupt_handler(void *arg1, void *arg2)
 {
-    va_list args;
-    int i;
     uint32_t status = MCF_XLB_XARB_SR;
 
     dbg("arg1=0x%08x arg2=0x%08x\r\n", arg1, arg2);
-    va_start(args, arg2);
-    for (i = 0; i < 20; i++)
-    {
-        dbg("arg[%d]=0x%08x\r\n", i, va_arg(args, int));
-    }
-    va_end(args);
 
     /*
      * TODO: we should probably issue a bus error when this occors