Index: sys/dev/mps/mps_user.c
===================================================================
--- sys/dev/mps/mps_user.c
+++ sys/dev/mps/mps_user.c
@@ -75,9 +75,7 @@
 #include <sys/bus.h>
 #include <sys/conf.h>
 #include <sys/bio.h>
-#ifdef COMPAT_FREEBSD32
 #include <sys/compat.h>
-#endif
 #include <sys/malloc.h>
 #include <sys/uio.h>
 #include <sys/sysctl.h>