6 files changed, 8 insertions, 4 deletions
diff --git a/sys/kern/ksched.c b/sys/kern/ksched.c
index 690c2fa09bd0..ba53cc2f438b 100644
--- a/sys/kern/ksched.c
+++ b/sys/kern/ksched.c
@@ -35,6 +35,8 @@
 /* ksched: Soft real time scheduling based on "rtprio".
  */
 
+#include "opt_posix.h"
+
 #include <sys/param.h>
 #include <sys/systm.h>
 #include <sys/lock.h>
diff --git a/sys/kern/p1003_1b.c b/sys/kern/p1003_1b.c
index 9e6fdcae3e0f..7d312d7711db 100644
--- a/sys/kern/p1003_1b.c
+++ b/sys/kern/p1003_1b.c
@@ -35,6 +35,8 @@
 /* p1003_1b: Real Time common code.
  */
 
+#include "opt_posix.h"
+
 #include <sys/param.h>
 #include <sys/systm.h>
 #include <sys/kernel.h>
diff --git a/sys/posix4/ksched.c b/sys/posix4/ksched.c
index 690c2fa09bd0..ba53cc2f438b 100644
--- a/sys/posix4/ksched.c
+++ b/sys/posix4/ksched.c
@@ -35,6 +35,8 @@
 /* ksched: Soft real time scheduling based on "rtprio".
  */
 
+#include "opt_posix.h"
+
 #include <sys/param.h>
 #include <sys/systm.h>
 #include <sys/lock.h>
diff --git a/sys/posix4/p1003_1b.c b/sys/posix4/p1003_1b.c
index 9e6fdcae3e0f..7d312d7711db 100644
--- a/sys/posix4/p1003_1b.c
+++ b/sys/posix4/p1003_1b.c
@@ -35,6 +35,8 @@
 /* p1003_1b: Real Time common code.
  */
 
+#include "opt_posix.h"
+
 #include <sys/param.h>
 #include <sys/systm.h>
 #include <sys/kernel.h>
diff --git a/sys/posix4/posix4.h b/sys/posix4/posix4.h
index 9efd1d9dea1c..e59737073881 100644
--- a/sys/posix4/posix4.h
+++ b/sys/posix4/posix4.h
@@ -34,8 +34,6 @@
  * $FreeBSD$
  */
 
-#include "opt_posix.h"
-
 #include <sys/param.h>
 #include <sys/ioccom.h>
 #include <sys/malloc.h>
diff --git a/sys/sys/posix4.h b/sys/sys/posix4.h
index 9efd1d9dea1c..e59737073881 100644
--- a/sys/sys/posix4.h
+++ b/sys/sys/posix4.h
@@ -34,8 +34,6 @@
  * $FreeBSD$
  */
 
-#include "opt_posix.h"
-
 #include <sys/param.h>
 #include <sys/ioccom.h>
 #include <sys/malloc.h>