| .. | .. | 
|---|
 | 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 | 
|---|