From 368885b91fae0fa94e6e9e68aaaf27d578a12cb0 Mon Sep 17 00:00:00 2001 From: Ian Campbell Date: Tue, 9 Oct 2012 15:05:38 +0100 Subject: [PATCH] arm: don't bother setting up vtimer, vgic etc on idle CPUs Signed-off-by: Ian Campbell Acked-by: Tim Deegan Committed-by: Ian Campbell --- xen/arch/arm/domain.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/xen/arch/arm/domain.c b/xen/arch/arm/domain.c index ee58d68677..f47db4fd8d 100644 --- a/xen/arch/arm/domain.c +++ b/xen/arch/arm/domain.c @@ -386,6 +386,10 @@ int vcpu_initialise(struct vcpu *v) v->arch.saved_context.sp = (uint32_t)v->arch.cpu_info; v->arch.saved_context.pc = (uint32_t)continue_new_vcpu; + /* Idle VCPUs don't need the rest of this setup */ + if ( is_idle_vcpu(v) ) + return rc; + if ( (rc = vcpu_vgic_init(v)) != 0 ) return rc; -- 2.30.2