diff --git a/sys/kern/kern_umtx.c b/sys/kern/kern_umtx.c
index 1ae2eac3143e..e6b7165e6533 100644
--- a/sys/kern/kern_umtx.c
+++ b/sys/kern/kern_umtx.c
@@ -76,6 +76,7 @@ __FBSDID("$FreeBSD$");
 #include <machine/cpu.h>
 
 #ifdef COMPAT_FREEBSD32
+#include <compat/freebsd32/freebsd32.h>
 #include <compat/freebsd32/freebsd32_proto.h>
 #endif
 
@@ -4128,11 +4129,6 @@ sys__umtx_op(struct thread *td, struct _umtx_op_args *uap)
 
 #ifdef COMPAT_FREEBSD32
 
-struct timespec32 {
-	int32_t tv_sec;
-	int32_t tv_nsec;
-};
-
 struct umtx_time32 {
 	struct	timespec32	timeout;
 	uint32_t		flags;