diff --git a/sys/kern/ksched.c b/sys/kern/ksched.c
index e8af76be0c9f..4127367cb442 100644
--- a/sys/kern/ksched.c
+++ b/sys/kern/ksched.c
@@ -43,11 +43,10 @@ __FBSDID("$FreeBSD$");
 #include <sys/lock.h>
 #include <sys/mutex.h>
 #include <sys/proc.h>
+#include <sys/posix4.h>
 #include <sys/resource.h>
 #include <sys/sched.h>
 
-#include <posix4/posix4.h>
-
 /* ksched: Real-time extension to support POSIX priority scheduling.
  */
 
diff --git a/sys/kern/p1003_1b.c b/sys/kern/p1003_1b.c
index 8ed0de53af10..5baf09e2df79 100644
--- a/sys/kern/p1003_1b.c
+++ b/sys/kern/p1003_1b.c
@@ -46,14 +46,13 @@ __FBSDID("$FreeBSD$");
 #include <sys/mutex.h>
 #include <sys/priv.h>
 #include <sys/proc.h>
+#include <sys/posix4.h>
 #include <sys/syscallsubr.h>
 #include <sys/sysctl.h>
 #include <sys/sysent.h>
 #include <sys/syslog.h>
 #include <sys/sysproto.h>
 
-#include <posix4/posix4.h>
-
 MALLOC_DEFINE(M_P31B, "p1003.1b", "Posix 1003.1B");
 
 /* The system calls return ENOSYS if an entry is called that is
diff --git a/sys/kern/posix4_mib.c b/sys/kern/posix4_mib.c
index 19092164a9ec..fbb04181ba4e 100644
--- a/sys/kern/posix4_mib.c
+++ b/sys/kern/posix4_mib.c
@@ -39,7 +39,7 @@ __FBSDID("$FreeBSD$");
 #include <sys/queue.h>
 #include <sys/sysctl.h>
 #include <sys/vnode.h>
-#include <posix4/posix4.h>
+#include <sys/posix4.h>
 
 static int facility[CTL_P1003_1B_MAXID - 1];
 static int facility_initialized[CTL_P1003_1B_MAXID - 1];
diff --git a/sys/sys/posix4.h b/sys/sys/posix4.h
index 779665d0628a..ea379c0be385 100644
--- a/sys/sys/posix4.h
+++ b/sys/sys/posix4.h
@@ -37,7 +37,7 @@
 #include <sys/param.h>
 #include <sys/ioccom.h>
 #include <sys/malloc.h>
-#include <posix4/sched.h>
+#include <sys/sched.h>
 
 /* Generate syscall stubs for when something is optionally
  * loadable as a module.  References "syscall_not_present".