.. | .. |
---|
| 1 | +// SPDX-License-Identifier: GPL-2.0-only |
---|
1 | 2 | /* |
---|
2 | 3 | * SMP Support |
---|
3 | 4 | * |
---|
.. | .. |
---|
35 | 36 | #include <linux/atomic.h> |
---|
36 | 37 | #include <asm/current.h> |
---|
37 | 38 | #include <asm/delay.h> |
---|
38 | | -#include <asm/machvec.h> |
---|
39 | 39 | #include <asm/io.h> |
---|
40 | 40 | #include <asm/irq.h> |
---|
41 | 41 | #include <asm/page.h> |
---|
42 | | -#include <asm/pgalloc.h> |
---|
43 | | -#include <asm/pgtable.h> |
---|
44 | 42 | #include <asm/processor.h> |
---|
45 | 43 | #include <asm/ptrace.h> |
---|
46 | 44 | #include <asm/sal.h> |
---|
47 | 45 | #include <asm/tlbflush.h> |
---|
48 | 46 | #include <asm/unistd.h> |
---|
49 | 47 | #include <asm/mca.h> |
---|
| 48 | +#include <asm/xtp.h> |
---|
50 | 49 | |
---|
51 | 50 | /* |
---|
52 | 51 | * Note: alignment of 4 entries/cacheline was empirically determined |
---|
.. | .. |
---|
145 | 144 | send_IPI_single (int dest_cpu, int op) |
---|
146 | 145 | { |
---|
147 | 146 | 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); |
---|
149 | 148 | } |
---|
150 | 149 | |
---|
151 | 150 | /* |
---|
.. | .. |
---|
212 | 211 | for_each_online_cpu(cpu) { |
---|
213 | 212 | if (cpu != self_cpu) { |
---|
214 | 213 | 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); |
---|
216 | 215 | } |
---|
217 | 216 | } |
---|
218 | 217 | } |
---|
.. | .. |
---|
223 | 222 | void |
---|
224 | 223 | smp_send_reschedule (int cpu) |
---|
225 | 224 | { |
---|
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); |
---|
227 | 226 | } |
---|
228 | 227 | EXPORT_SYMBOL_GPL(smp_send_reschedule); |
---|
229 | 228 | |
---|
.. | .. |
---|
233 | 232 | static void |
---|
234 | 233 | smp_send_local_flush_tlb (int cpu) |
---|
235 | 234 | { |
---|
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); |
---|
237 | 236 | } |
---|
238 | 237 | |
---|
239 | 238 | void |
---|