diff --git a/sys/arm64/arm64/machdep_boot.c b/sys/arm64/arm64/machdep_boot.c
--- 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;