diff --git a/sys/compat/linux/linux_futex.c b/sys/compat/linux/linux_futex.c
index 7d75889d2dc..aed6bbf94ce 100644
--- a/sys/compat/linux/linux_futex.c
+++ b/sys/compat/linux/linux_futex.c
@@ -38,6 +38,7 @@ __FBSDID("$FreeBSD$");
 #include <sys/priv.h>
 #include <sys/proc.h>
 #include <sys/sched.h>
+#include <sys/sysent.h>
 #include <sys/umtxvar.h>
 
 #ifdef COMPAT_LINUX32
diff --git a/sys/compat/linux/linux_ipc.c b/sys/compat/linux/linux_ipc.c
index 5f0c22b49e5..a72b0a9709b 100644
--- a/sys/compat/linux/linux_ipc.c
+++ b/sys/compat/linux/linux_ipc.c
@@ -39,6 +39,7 @@ __FBSDID("$FreeBSD$");
 #include <sys/sem.h>
 #include <sys/shm.h>
 #include <sys/stat.h>
+#include <sys/sysent.h>
 
 #ifdef COMPAT_LINUX32
 #include <machine/../linux32/linux.h>
diff --git a/sys/compat/linux/linux_misc.c b/sys/compat/linux/linux_misc.c
index 96670ef9ca3..b20a1b3597e 100644
--- a/sys/compat/linux/linux_misc.c
+++ b/sys/compat/linux/linux_misc.c
@@ -64,6 +64,7 @@ __FBSDID("$FreeBSD$");
 #include <sys/stat.h>
 #include <sys/syscallsubr.h>
 #include <sys/sysctl.h>
+#include <sys/sysent.h>
 #include <sys/sysproto.h>
 #include <sys/systm.h>
 #include <sys/time.h>
diff --git a/sys/compat/linux/linux_util.h b/sys/compat/linux/linux_util.h
index b89fd61de19..b00a9036d36 100644
--- a/sys/compat/linux/linux_util.h
+++ b/sys/compat/linux/linux_util.h
@@ -36,7 +36,6 @@
 #ifndef	_LINUX_UTIL_H_
 #define	_LINUX_UTIL_H_
 
-#include <sys/sysent.h>
 #include <sys/uio.h>
 
 MALLOC_DECLARE(M_LINUX);