diff --git a/sys/amd64/amd64/mpboot.S b/sys/amd64/amd64/mpboot.S
index d77b87787166..cf97e4810a42 100644
--- a/sys/amd64/amd64/mpboot.S
+++ b/sys/amd64/amd64/mpboot.S
@@ -34,6 +34,8 @@
  * $FreeBSD$
  */
 
+#include "opt_pmap.h"
+
 #include <machine/asmacros.h>		/* miscellaneous asm macros */
 #include <machine/apic.h>
 #include <machine/specialreg.h>
diff --git a/sys/i386/i386/mpboot.s b/sys/i386/i386/mpboot.s
index d77b87787166..cf97e4810a42 100644
--- a/sys/i386/i386/mpboot.s
+++ b/sys/i386/i386/mpboot.s
@@ -34,6 +34,8 @@
  * $FreeBSD$
  */
 
+#include "opt_pmap.h"
+
 #include <machine/asmacros.h>		/* miscellaneous asm macros */
 #include <machine/apic.h>
 #include <machine/specialreg.h>