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

identical.

Sponsored by:	 ABT Systems Ltd

2 files changed, 0 insertions, 14 deletions

diff --git a/sys/arm/mv/armada38x/armada38x_mp.c b/sys/arm/mv/armada38x/armada38x_mp.c
index 75a8c9b..8c8e7ae 100644
--- a/sys/arm/mv/armada38x/armada38x_mp.c
+++ b/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);
-}
diff --git a/sys/arm/mv/armadaxp/armadaxp_mp.c b/sys/arm/mv/armadaxp/armadaxp_mp.c
index 52f3508..0358d11 100644
--- a/sys/arm/mv/armadaxp/armadaxp_mp.c
+++ b/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);
-}