Index: arch/ia32/src/smp/ipi.c
===================================================================
--- arch/ia32/src/smp/ipi.c	(revision 4ffa9e01e6e86ad38deee8aff7dc570f7088ceba)
+++ arch/ia32/src/smp/ipi.c	(revision 26a8604ffcf3def1cb5904b8685f2247210e04fc)
@@ -32,5 +32,5 @@
 #include <arch/apic.h>
 
-void ipi_broadcast(int ipi)
+void ipi_broadcast_arch(int ipi)
 {
 	(void) l_apic_broadcast_custom_ipi((__u8) ipi);