git: 9fac39c63c12 - main - arm64: fix the handling of DDB symbols in early boot

The branch main has been updated by dfr:

URL: https://cgit.FreeBSD.org/src/commit/?id=9fac39c63c123f02c8022223007772bdb3bee1d3

commit 9fac39c63c123f02c8022223007772bdb3bee1d3
Author:     Doug Rabson <dfr@FreeBSD.org>
AuthorDate: 2024-01-18 16:41:02 +0000
Commit:     Doug Rabson <dfr@FreeBSD.org>
CommitDate: 2024-01-18 16:41:02 +0000

    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
---
 sys/arm64/arm64/machdep_boot.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/sys/arm64/arm64/machdep_boot.c b/sys/arm64/arm64/machdep_boot.c
index 19ad2977614f..b8e0c734bbb4 100644
--- 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
+
 extern int *end;
 static char *loader_envp;