arm64: Call xen_early_init

diff --git a/sys/arm64/arm64/machdep.c b/sys/arm64/arm64/machdep.c
index 4bb3f674b9f427d303e32e90c49fe8db4b8cab34..5b058786329ab5b17fc59daded96d6a67d565666 100644 (file)
--- a/sys/arm64/arm64/machdep.c
+++ b/sys/arm64/arm64/machdep.c
@@ -85,6 +85,10 @@ __FBSDID("$FreeBSD$");
 #include <dev/ofw/openfirm.h>
 #endif
 
+#ifdef XENHVM
+#include <xen/xen-os.h>
+#endif
+
 struct pcpu __pcpu[MAXCPU];
 
 static struct trapframe proc0_tf;
@@ -812,6 +816,15 @@ initarm(struct arm64_bootparams *abp)
        try_load_dtb(kmdp);
 #endif
 
+#ifdef XENHVM
+       /*
+        * We need to know early if FreeBSD is running on top of Xen.
+        * Therefore we can get an early console working
+        */
+       xen_early_init();
+#endif
+
+
        /* Find the address to start allocating from */
        lastaddr = MD_FETCH(kmdp, MODINFOMD_KERNEND, vm_offset_t);