diff --git a/sys/amd64/amd64/cpu_switch.S b/sys/amd64/amd64/cpu_switch.S
index 32dbe56e686a..6e325c231482 100644
--- a/sys/amd64/amd64/cpu_switch.S
+++ b/sys/amd64/amd64/cpu_switch.S
@@ -42,6 +42,7 @@
 #include <sys/rtprio.h>
 
 #include <machine/asmacros.h>
+#include <machine/ipl.h>
 
 #ifdef SMP
 #include <machine/pmap.h>
diff --git a/sys/amd64/amd64/swtch.s b/sys/amd64/amd64/swtch.s
index 32dbe56e686a..6e325c231482 100644
--- a/sys/amd64/amd64/swtch.s
+++ b/sys/amd64/amd64/swtch.s
@@ -42,6 +42,7 @@
 #include <sys/rtprio.h>
 
 #include <machine/asmacros.h>
+#include <machine/ipl.h>
 
 #ifdef SMP
 #include <machine/pmap.h>
diff --git a/sys/i386/i386/swtch.s b/sys/i386/i386/swtch.s
index 32dbe56e686a..6e325c231482 100644
--- a/sys/i386/i386/swtch.s
+++ b/sys/i386/i386/swtch.s
@@ -42,6 +42,7 @@
 #include <sys/rtprio.h>
 
 #include <machine/asmacros.h>
+#include <machine/ipl.h>
 
 #ifdef SMP
 #include <machine/pmap.h>