Update #includes list.

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.
  */
 

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

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];

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".