diff --git a/sys/amd64/amd64/cpu_switch.S b/sys/amd64/amd64/cpu_switch.S
index b9b5148d513b..c895fefa8c15 100644
--- a/sys/amd64/amd64/cpu_switch.S
+++ b/sys/amd64/amd64/cpu_switch.S
@@ -42,12 +42,12 @@
 #include <sys/rtprio.h>
 
 #include <machine/asmacros.h>
+#include <machine/ipl.h>
 
 #ifdef SMP
 #include <machine/pmap.h>
 #include <machine/apic.h>
 #include <machine/smptests.h>		/** GRAB_LOPRIO */
-#include <machine/ipl.h>
 #include <machine/lock.h>
 #endif /* SMP */
 
diff --git a/sys/amd64/amd64/swtch.s b/sys/amd64/amd64/swtch.s
index b9b5148d513b..c895fefa8c15 100644
--- a/sys/amd64/amd64/swtch.s
+++ b/sys/amd64/amd64/swtch.s
@@ -42,12 +42,12 @@
 #include <sys/rtprio.h>
 
 #include <machine/asmacros.h>
+#include <machine/ipl.h>
 
 #ifdef SMP
 #include <machine/pmap.h>
 #include <machine/apic.h>
 #include <machine/smptests.h>		/** GRAB_LOPRIO */
-#include <machine/ipl.h>
 #include <machine/lock.h>
 #endif /* SMP */
 
diff --git a/sys/i386/i386/swtch.s b/sys/i386/i386/swtch.s
index b9b5148d513b..c895fefa8c15 100644
--- a/sys/i386/i386/swtch.s
+++ b/sys/i386/i386/swtch.s
@@ -42,12 +42,12 @@
 #include <sys/rtprio.h>
 
 #include <machine/asmacros.h>
+#include <machine/ipl.h>
 
 #ifdef SMP
 #include <machine/pmap.h>
 #include <machine/apic.h>
 #include <machine/smptests.h>		/** GRAB_LOPRIO */
-#include <machine/ipl.h>
 #include <machine/lock.h>
 #endif /* SMP */