From cd5d81ba41841ea9c1a9427fd5aeb93d7cb37624 Mon Sep 17 00:00:00 2001
From: John Baldwin <jhb@FreeBSD.org>
Date: Mon, 22 Sep 2014 17:32:27 +0000
Subject: [PATCH] Fix build for kernels without COMPAT_FREEBSD32.

---
 sys/opencrypto/cryptodev.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sys/opencrypto/cryptodev.c b/sys/opencrypto/cryptodev.c
index 472a9021050..bf461381cfb 100644
--- a/sys/opencrypto/cryptodev.c
+++ b/sys/opencrypto/cryptodev.c
@@ -54,6 +54,7 @@ __FBSDID("$FreeBSD$");
 #include <sys/module.h>
 #include <sys/fcntl.h>
 #include <sys/bus.h>
+#include <sys/user.h>
 
 #include <opencrypto/cryptodev.h>
 #include <opencrypto/xform.h>