@@ -32,6 +32,9 @@
#include <asm/page.h>
#include <asm/setup.h>
+/* Non-boot CPUs use this to find the correct pagetables. */
+uint64_t init_ttbr;
+
#ifdef NDEBUG
static inline void
__attribute__ ((__format__ (__printf__, 1, 2)))
@@ -803,16 +803,19 @@ void __init start_xen(unsigned long boot_phys_offset,
#endif
enable_cpu_features();
- /* Create initial domain 0. */
- if ( !is_dom0less_mode() )
- create_dom0();
- else
- printk(XENLOG_INFO "Xen dom0less mode detected\n");
-
- if ( acpi_disabled )
+ if ( !IS_ENABLED(CONFIG_ARM_V8R) )
{
- create_domUs();
- alloc_static_evtchn();
+ /* Create initial domain 0. */
+ if ( !is_dom0less_mode() )
+ create_dom0();
+ else
+ printk(XENLOG_INFO "Xen dom0less mode detected\n");
+
+ if ( acpi_disabled )
+ {
+ create_domUs();
+ alloc_static_evtchn();
+ }
}
/*
@@ -963,7 +963,9 @@ void vcpu_show_registers(const struct vcpu *v)
ctxt.ifsr32_el2 = v->arch.ifsr;
#endif
+#ifndef CONFIG_HAS_MPU
ctxt.vttbr_el2 = v->domain->arch.p2m.vttbr;
+#endif
_show_registers(&v->arch.cpu_info->guest_cpu_user_regs, &ctxt, 1, v);
}