diff --git a/sys/ia64/acpica/madt.c b/sys/ia64/acpica/madt.c
index 85d4959933a2..0734f3eb5387 100644
--- a/sys/ia64/acpica/madt.c
+++ b/sys/ia64/acpica/madt.c
@@ -28,7 +28,6 @@
 
 #include "acpi.h"
 
-void cpu_mp_add(uint, uint, uint);
 struct sapic *sapic_create(int, int, u_int64_t);
 
 #pragma pack(1)
diff --git a/sys/ia64/ia64/machdep.c b/sys/ia64/ia64/machdep.c
index 00de2c869425..8d39186030ec 100644
--- a/sys/ia64/ia64/machdep.c
+++ b/sys/ia64/ia64/machdep.c
@@ -82,9 +82,6 @@
 #include <machine/rse.h>
 #include <machine/unwind.h>
 
-void ia64_probe_sapics(void);
-void map_pal_code(void);
-
 #ifdef SKI
 extern void ia64_ski_init(void);
 #endif
diff --git a/sys/ia64/ia64/mp_machdep.c b/sys/ia64/ia64/mp_machdep.c
index 1a07af7ace54..189bfe6dc3d6 100644
--- a/sys/ia64/ia64/mp_machdep.c
+++ b/sys/ia64/ia64/mp_machdep.c
@@ -52,10 +52,7 @@
 #include <machine/smp.h>
 #include <machine/fpu.h>
 
-void cpu_mp_add(uint, uint, uint);
 void ia64_ap_startup(void);
-void map_pal_code(void);
-int ia64_count_aps(void);
 
 extern vm_offset_t vhpt_base, vhpt_size;
 
diff --git a/sys/ia64/include/cpu.h b/sys/ia64/include/cpu.h
index 4b6baab187eb..db77483e06e8 100644
--- a/sys/ia64/include/cpu.h
+++ b/sys/ia64/include/cpu.h
@@ -135,6 +135,10 @@ void	set_iointr __P((void (*)(void *, unsigned long)));
 void	fork_trampoline __P((void));				/* MAGIC */
 void	syscall __P((int, u_int64_t *, struct trapframe *));
 void	trap __P((int vector, int imm, struct trapframe *framep));
+void	ia64_probe_sapics(void);
+int	ia64_count_aps(void);
+void	map_pal_code(void);
+void	cpu_mp_add(uint, uint, uint);
 
 /*
  * Return contents of in-cpu fast counter as a sort of "bogo-time"