Remove platform_ipi_send, it's an unneeded as all implementations are

identical.

Sponsored by:	 ABT Systems Ltd

sys/arm/allwinner/a20/a20_mp.c

@@ -153,10 +153,3 @@ platform_mp_start_ap(void)
 	armv7_sev();
 	bus_space_unmap(fdtbus_bs_tag, cpucfg, CPUCFG_SIZE);
 }
-
-void
-platform_ipi_send(cpuset_t cpus, u_int ipi)
-{
-
-	pic_ipi_send(cpus, ipi);
-}

sys/arm/altera/socfpga/socfpga_mp.c

@@ -174,10 +174,3 @@ platform_mp_start_ap(void)
 	bus_space_unmap(fdtbus_bs_tag, rst, RSTMGR_SIZE);
 	bus_space_unmap(fdtbus_bs_tag, ram, RAM_SIZE);
 }
-
-void
-platform_ipi_send(cpuset_t cpus, u_int ipi)
-{
-
-	pic_ipi_send(cpus, ipi);
-}

sys/arm/amlogic/aml8726/aml8726_mp.c

@@ -534,13 +534,6 @@ platform_mp_start_ap(void)
 	memset(&aml8726_smp, 0, sizeof(aml8726_smp));
 }
 
-void
-platform_ipi_send(cpuset_t cpus, u_int ipi)
-{
-
-	pic_ipi_send(cpus, ipi);
-}
-
 /*
  * Stub drivers for cosmetic purposes.
  */

sys/arm/annapurna/alpine/alpine_machdep_mp.c

@@ -324,10 +324,3 @@ alpine_serdes_resource_get(uint32_t group, bus_space_tag_t *tag, bus_addr_t *bad
 
 	return (0);
 }
-
-void
-platform_ipi_send(cpuset_t cpus, u_int ipi)
-{
-
-	pic_ipi_send(cpus, ipi);
-}

sys/arm/arm/mp_machdep.c

@@ -499,7 +499,7 @@ ipi_all_but_self(u_int ipi)
 	other_cpus = all_cpus;
 	CPU_CLR(PCPU_GET(cpuid), &other_cpus);
 	CTR2(KTR_SMP, "%s: ipi: %x", __func__, ipi);
-	platform_ipi_send(other_cpus, ipi);
+	pic_ipi_send(other_cpus, ipi);
 }
 
 void
@@ -511,7 +511,7 @@ ipi_cpu(int cpu, u_int ipi)
 	CPU_SET(cpu, &cpus);
 
 	CTR3(KTR_SMP, "%s: cpu: %d, ipi: %x", __func__, cpu, ipi);
-	platform_ipi_send(cpus, ipi);
+	pic_ipi_send(cpus, ipi);
 }
 
 void
@@ -519,6 +519,6 @@ ipi_selected(cpuset_t cpus, u_int ipi)
 {
 
 	CTR2(KTR_SMP, "%s: ipi: %x", __func__, ipi);
-	platform_ipi_send(cpus, ipi);
+	pic_ipi_send(cpus, ipi);
 }
 

sys/arm/broadcom/bcm2835/bcm2836_mp.c

@@ -193,10 +193,3 @@ void
 pic_ipi_clear(int ipi)
 {
 }
-
-void
-platform_ipi_send(cpuset_t cpus, u_int ipi)
-{
-
-	pic_ipi_send(cpus, ipi);
-}

sys/arm/freescale/imx/imx6_mp.c

@@ -173,10 +173,3 @@ platform_mp_start_ap(void)
 	bus_space_unmap(fdtbus_bs_tag, scu, SCU_SIZE);
 	bus_space_unmap(fdtbus_bs_tag, src, SRC_SIZE);
 }
-
-void
-platform_ipi_send(cpuset_t cpus, u_int ipi)
-{
-
-	pic_ipi_send(cpus, ipi);
-}

sys/arm/include/smp.h

@@ -49,8 +49,6 @@ int	platform_mp_probe(void);
 void	platform_mp_start_ap(void);
 void	platform_mp_init_secondary(void);
 
-void	platform_ipi_send(cpuset_t cpus, u_int ipi);
-
 /* global data in mp_machdep.c */
 extern struct pcb               stoppcbs[];
 

sys/arm/mv/armada38x/armada38x_mp.c

@@ -157,10 +157,3 @@ platform_mp_start_ap(void)
 	/* Release CPU1 from reset */
 	cpu_reset_deassert();
 }
-
-void
-platform_ipi_send(cpuset_t cpus, u_int ipi)
-{
-
-	pic_ipi_send(cpus, ipi);
-}

sys/arm/mv/armadaxp/armadaxp_mp.c

@@ -186,10 +186,3 @@ platform_mp_start_ap(void)
 
 	armadaxp_init_coher_fabric();
 }
-
-void
-platform_ipi_send(cpuset_t cpus, u_int ipi)
-{
-
-	pic_ipi_send(cpus, ipi);
-}

sys/arm/qemu/virt_mp.c

@@ -103,11 +103,5 @@ platform_mp_init_secondary(void)
 {
 
 	intr_pic_init_secondary();
-}
-
-void
-platform_ipi_send(cpuset_t cpus, u_int ipi)
-{
-
 	pic_ipi_send(cpus, ipi);
 }

sys/arm/rockchip/rk30xx_mp.c

@@ -186,10 +186,3 @@ platform_mp_start_ap(void)
 	bus_space_unmap(fdtbus_bs_tag, imem, IMEM_SIZE);
 	bus_space_unmap(fdtbus_bs_tag, pmu, PMU_SIZE);
 }
-
-void
-platform_ipi_send(cpuset_t cpus, u_int ipi)
-{
-
-	pic_ipi_send(cpus, ipi);
-}

sys/arm/samsung/exynos/exynos5_mp.c

@@ -142,10 +142,3 @@ platform_mp_start_ap(void)
 	bus_space_unmap(fdtbus_bs_tag, sysram, 0x100);
 	bus_space_unmap(fdtbus_bs_tag, pmu, 0x20000);
 }
-
-void
-platform_ipi_send(cpuset_t cpus, u_int ipi)
-{
-
-	pic_ipi_send(cpus, ipi);
-}

sys/arm/ti/omap4/omap4_mp.c

@@ -80,9 +80,3 @@ platform_mp_start_ap(void)
 	armv7_sev();
 	bus_space_unmap(fdtbus_bs_tag, scu_addr, 0x1000);
 }
-
-void
-platform_ipi_send(cpuset_t cpus, u_int ipi)
-{
-	pic_ipi_send(cpus, ipi);
-}

sys/arm/xilinx/zy7_mp.c

@@ -110,10 +110,3 @@ platform_mp_start_ap(void)
 	/* Wake up CPU1. */
 	armv7_sev();
 }
-
-void
-platform_ipi_send(cpuset_t cpus, u_int ipi)
-{
-
-	pic_ipi_send(cpus, ipi);
-}