diff --git a/sys/powerpc/booke/machdep.c b/sys/powerpc/booke/machdep.c
index 29a47469d670..42a4f04ea172 100644
--- a/sys/powerpc/booke/machdep.c
+++ b/sys/powerpc/booke/machdep.c
@@ -188,8 +188,6 @@ void print_kernel_section_addr(void);
 void print_kenv(void);
 u_int booke_init(uint32_t, uint32_t);
 
-extern int elf32_nxstack;
-
 static void
 cpu_booke_startup(void *dummy)
 {
diff --git a/sys/powerpc/booke/pmap.c b/sys/powerpc/booke/pmap.c
index 31c3fd56f0ac..1a573cdac66e 100644
--- a/sys/powerpc/booke/pmap.c
+++ b/sys/powerpc/booke/pmap.c
@@ -160,6 +160,7 @@ unsigned int kernel_ptbls;	/* Number of KVA ptbls. */
 	((pmap) != kernel_pmap && (pmap)->pm_stats.resident_count == 0)
 
 extern void tid_flush(tlbtid_t);
+extern int elf32_nxstack;
 
 /**************************************************************************/
 /* TLB and TID handling */