diff options
Diffstat (limited to 'sys/dev/ipmi/ipmi_opal.c')
| -rw-r--r-- | sys/dev/ipmi/ipmi_opal.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/dev/ipmi/ipmi_opal.c b/sys/dev/ipmi/ipmi_opal.c index 5f3cdf393c20e..432202eb653e6 100644 --- a/sys/dev/ipmi/ipmi_opal.c +++ b/sys/dev/ipmi/ipmi_opal.c @@ -28,8 +28,9 @@ __FBSDID("$FreeBSD$"); #include <sys/param.h> #include <sys/kernel.h> #include <sys/systm.h> +#include <sys/lock.h> #include <sys/module.h> -#include <sys/types.h> +#include <sys/mutex.h> #include <sys/bus.h> #include <sys/kthread.h> #include <sys/proc.h> |