|
@@ -666,11 +666,7 @@ ia64_send_ipi (int cpu, int vector, int delivery_mode, int redirect)
|
|
|
unsigned long ipi_data;
|
|
unsigned long ipi_data;
|
|
|
unsigned long phys_cpu_id;
|
|
unsigned long phys_cpu_id;
|
|
|
|
|
|
|
|
-#ifdef CONFIG_SMP
|
|
|
|
|
phys_cpu_id = cpu_physical_id(cpu);
|
|
phys_cpu_id = cpu_physical_id(cpu);
|
|
|
-#else
|
|
|
|
|
- phys_cpu_id = (ia64_getreg(_IA64_REG_CR_LID) >> 16) & 0xffff;
|
|
|
|
|
-#endif
|
|
|
|
|
|
|
|
|
|
/*
|
|
/*
|
|
|
* cpu number is in 8bit ID and 8bit EID
|
|
* cpu number is in 8bit ID and 8bit EID
|