Index: /trunk/include/VBox/vmm/cpum.h
===================================================================
--- /trunk/include/VBox/vmm/cpum.h	(revision 87254)
+++ /trunk/include/VBox/vmm/cpum.h	(revision 87255)
@@ -32,5 +32,5 @@
 #include <iprt/x86.h>
 #include <VBox/types.h>
-#ifdef RT_ARCH_AMD64
+#if defined(RT_ARCH_AMD64) || defined(RT_ARCH_ARM64)
 # include <VBox/vmm/cpumctx.h>
 #endif
Index: /trunk/src/VBox/VMM/VMMR3/CPUMR3Db.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/CPUMR3Db.cpp	(revision 87254)
+++ /trunk/src/VBox/VMM/VMMR3/CPUMR3Db.cpp	(revision 87255)
@@ -27,5 +27,7 @@
 
 #include <VBox/err.h>
-#include <iprt/asm-amd64-x86.h>
+#if !defined(RT_ARCH_ARM64)
+# include <iprt/asm-amd64-x86.h>
+#endif
 #include <iprt/mem.h>
 #include <iprt/string.h>
@@ -895,4 +897,5 @@
 
     if (!strcmp(pszName, "host"))
+#if defined(RT_ARCH_AMD64) || defined(RT_ARCH_X86)
     {
         /*
@@ -991,4 +994,7 @@
     }
     else
+#else
+        pszName = g_apCpumDbEntries[0]->pszName; /* Just pick the first entry for non-x86 hosts. */
+#endif
     {
         /*