Fix kernel builds without options DDB after r331650.

Reported by: cy
2018-03-28 16:24:56 +00:00 · 2018-03-28 16:24:56 +00:00 · dbb4ba297b
commit dbb4ba297b
parent aed0267989
2 changed files with 2 additions and 0 deletions
--- a/sys/amd64/amd64/machdep.c
+++ b/sys/amd64/amd64/machdep.c
@ -127,6 +127,7 @@ __FBSDID("$FreeBSD$");
 #include <machine/reg.h>
 #include <machine/sigframe.h>
 #include <machine/specialreg.h>
+#include <machine/trap.h>
 #include <machine/tss.h>
 #ifdef SMP
 #include <machine/smp.h>
--- a/sys/i386/i386/machdep.c
+++ b/sys/i386/i386/machdep.c
@ -129,6 +129,7 @@ __FBSDID("$FreeBSD$");
 #include <machine/reg.h>
 #include <machine/sigframe.h>
 #include <machine/specialreg.h>
+#include <machine/trap.h>
 #include <machine/vm86.h>
 #include <x86/init.h>
 #ifdef PERFMON