diff --git a/arch/ia64/kernel/smp.c b/arch/ia64/kernel/smp.c
index 2763e791778183f805a6540221431eb03f0fdfef..6ab95ceaf9d4f34aa32a382a9e32cb68bb98b23b 100644
--- a/arch/ia64/kernel/smp.c
+++ b/arch/ia64/kernel/smp.c
@@ -108,7 +108,7 @@ cpu_die(void)
 }
 
 irqreturn_t
-handle_IPI (int irq, void *dev_id, struct pt_regs *regs)
+handle_IPI (int irq, void *dev_id)
 {
 	int this_cpu = get_cpu();
 	unsigned long *pending_ipis = &__ia64_per_cpu_var(ipi_operation);