arm: initialise VCPU SCTLR in vcpu_initialise
authorIan Campbell <ian.campbell@citrix.com>
Wed, 6 Mar 2013 08:54:28 +0000 (08:54 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 11 Apr 2013 08:19:09 +0000 (09:19 +0100)
Ensuring a sane initial starting state for vcpus other than domain 0s.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
xen/arch/arm/domain.c
xen/arch/arm/domain_build.c

index ac997d6d15a9ef00456d335346b4e1f8a2963e80..e3088137a4244cab39efb943c50f8a60adabbe90 100644 (file)
@@ -436,6 +436,8 @@ int vcpu_initialise(struct vcpu *v)
     if ( is_idle_vcpu(v) )
         return rc;
 
+    v->arch.sctlr = SCTLR_BASE;
+
     if ( (rc = vcpu_vgic_init(v)) != 0 )
         return rc;
 
index e9c84c76b454336b5188ed1d2bd005717e0b2bec..d4fb74fd89454ba78cd0080a9a9c799943c1b4da 100644 (file)
@@ -455,8 +455,6 @@ int construct_dom0(struct domain *d)
     }
 #endif
 
-    v->arch.sctlr = SCTLR_BASE;
-
     WRITE_SYSREG(HCR_PTW|HCR_BSU_OUTER|HCR_AMO|HCR_IMO|HCR_VM, HCR_EL2);
     isb();