arm64: fix the handling of DDB symbols in early boot

The code which installs the kernel symbol table wasn't being compiled because the file did not include opt_ddb.h Reviewed by: kevans emaste MFC after: 1 week Differential Revision: https://reviews.freebsd.org/D43490
bsdjhb · Mar 15, 2024 · 4ade84a · 4ade84a
2 parents a563d05 + 9fac39c
commit 4ade84a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/sys/arm64/arm64/machdep_boot.c b/sys/arm64/arm64/machdep_boot.c
@@ -27,6 +27,7 @@
  */
 
 #include "opt_platform.h"
+#include "opt_ddb.h"
 
 #include <sys/param.h>
 #include <sys/systm.h>
@@ -48,6 +49,10 @@
 #include <dev/fdt/fdt_common.h>
 #endif
 
+#ifdef DDB
+#include <ddb/ddb.h>
+#endif
+
 #include <cheri/cheric.h>
 
 extern int *end;