diff options
Diffstat (limited to 'sys/arm/xilinx')
-rw-r--r-- | sys/arm/xilinx/zy7_mp.c | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/sys/arm/xilinx/zy7_mp.c b/sys/arm/xilinx/zy7_mp.c index 74528ef870b2..44657d61614c 100644 --- a/sys/arm/xilinx/zy7_mp.c +++ b/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); -} |