diff --git a/src/system/boot/platform/bios_ia32/smp.cpp b/src/system/boot/platform/bios_ia32/smp.cpp
index ef9545344c..d0d2c65eb3 100644
--- a/src/system/boot/platform/bios_ia32/smp.cpp
+++ b/src/system/boot/platform/bios_ia32/smp.cpp
@@ -420,8 +420,8 @@ smp_init_other_cpus(void)
 }
 
 
-extern "C" void
-smp_boot_other_cpus(void (*entryFunc)())
+void
+smp_boot_other_cpus(void (*entryFunc)(void))
 {
 	if (gKernelArgs.num_cpus < 2)
 		return;
diff --git a/src/system/boot/platform/bios_ia32/smp.h b/src/system/boot/platform/bios_ia32/smp.h
index 2380e63072..4acda1622d 100644
--- a/src/system/boot/platform/bios_ia32/smp.h
+++ b/src/system/boot/platform/bios_ia32/smp.h
@@ -19,7 +19,7 @@ extern "C" {
 
 extern void smp_init(void);
 extern void smp_init_other_cpus(void);
-extern void smp_boot_other_cpus(void (*entryFunc)());
+extern void smp_boot_other_cpus(void (*entryFunc)(void));
 
 extern int smp_get_current_cpu(void);