Fix !DDB build after r234190.

This commit is contained in:
Marius Strobl 2012-04-14 11:21:24 +00:00
parent b8a587074f
commit 91849f349c
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=234280

View File

@ -65,6 +65,7 @@ __FBSDID("$FreeBSD$");
#include <sys/param.h>
#include <sys/systm.h>
#include <sys/kdb.h>
#include <sys/kernel.h>
#include <sys/ktr.h>
#include <sys/lock.h>
@ -78,7 +79,6 @@ __FBSDID("$FreeBSD$");
#include <vm/uma.h>
#ifdef DDB
#include <sys/kdb.h>
#include <ddb/ddb.h>
#include <sys/lockmgr.h>
#include <sys/sx.h>