From 9fac39c63c123f02c8022223007772bdb3bee1d3 Mon Sep 17 00:00:00 2001
From: Doug Rabson <dfr@FreeBSD.org>
Date: Thu, 18 Jan 2024 16:41:02 +0000
Subject: [PATCH] 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;