hc
2024-01-05 071106ecf68c401173c58808b1cf5f68cc50d390
kernel/arch/ia64/kernel/smp.c
....@@ -1,3 +1,4 @@
1
+// SPDX-License-Identifier: GPL-2.0-only
12 /*
23 * SMP Support
34 *
....@@ -35,18 +36,16 @@
3536 #include <linux/atomic.h>
3637 #include <asm/current.h>
3738 #include <asm/delay.h>
38
-#include <asm/machvec.h>
3939 #include <asm/io.h>
4040 #include <asm/irq.h>
4141 #include <asm/page.h>
42
-#include <asm/pgalloc.h>
43
-#include <asm/pgtable.h>
4442 #include <asm/processor.h>
4543 #include <asm/ptrace.h>
4644 #include <asm/sal.h>
4745 #include <asm/tlbflush.h>
4846 #include <asm/unistd.h>
4947 #include <asm/mca.h>
48
+#include <asm/xtp.h>
5049
5150 /*
5251 * Note: alignment of 4 entries/cacheline was empirically determined
....@@ -145,7 +144,7 @@
145144 send_IPI_single (int dest_cpu, int op)
146145 {
147146 set_bit(op, &per_cpu(ipi_operation, dest_cpu));
148
- platform_send_ipi(dest_cpu, IA64_IPI_VECTOR, IA64_IPI_DM_INT, 0);
147
+ ia64_send_ipi(dest_cpu, IA64_IPI_VECTOR, IA64_IPI_DM_INT, 0);
149148 }
150149
151150 /*
....@@ -212,7 +211,7 @@
212211 for_each_online_cpu(cpu) {
213212 if (cpu != self_cpu) {
214213 if(kdump_status[cpu] == 0)
215
- platform_send_ipi(cpu, 0, IA64_IPI_DM_INIT, 0);
214
+ ia64_send_ipi(cpu, 0, IA64_IPI_DM_INIT, 0);
216215 }
217216 }
218217 }
....@@ -223,7 +222,7 @@
223222 void
224223 smp_send_reschedule (int cpu)
225224 {
226
- platform_send_ipi(cpu, IA64_IPI_RESCHEDULE, IA64_IPI_DM_INT, 0);
225
+ ia64_send_ipi(cpu, IA64_IPI_RESCHEDULE, IA64_IPI_DM_INT, 0);
227226 }
228227 EXPORT_SYMBOL_GPL(smp_send_reschedule);
229228
....@@ -233,7 +232,7 @@
233232 static void
234233 smp_send_local_flush_tlb (int cpu)
235234 {
236
- platform_send_ipi(cpu, IA64_IPI_LOCAL_TLB_FLUSH, IA64_IPI_DM_INT, 0);
235
+ ia64_send_ipi(cpu, IA64_IPI_LOCAL_TLB_FLUSH, IA64_IPI_DM_INT, 0);
237236 }
238237
239238 void