Fix GENERIC build.

This commit is contained in:
Attilio Rao 2014-03-19 00:38:27 +00:00
parent ac5c8b7c5b
commit c149e542a5

View File

@ -46,6 +46,7 @@ __FBSDID("$FreeBSD$");
#include <sys/kdb.h>
#include <sys/kernel.h>
#include <sys/ktr.h>
#include <sys/limits.h>
#include <sys/lock.h>
#include <sys/mutex.h>
#include <sys/proc.h>