|
@@ -108,7 +108,7 @@ cpu_die(void)
|
|
}
|
|
}
|
|
|
|
|
|
irqreturn_t
|
|
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();
|
|
int this_cpu = get_cpu();
|
|
unsigned long *pending_ipis = &__ia64_per_cpu_var(ipi_operation);
|
|
unsigned long *pending_ipis = &__ia64_per_cpu_var(ipi_operation);
|