Attempt to fix the GENERIC kernel build which has been failing on

tinderbox for a couple of days.
This commit is contained in:
John Birrell 2006-10-13 04:53:22 +00:00
parent 9b9879cb89
commit e70cbcb5ba

View file

@ -52,6 +52,8 @@
#include <sys/systm.h>
#include <machine/clock.h>
#include <machine/intr_machdep.h>
#include <machine/segments.h>
#include <amd64/isa/isa.h>
#ifdef DDB
#include <ddb/ddb.h>
#endif