From 2c69a23d42c94e6692951004ce83c80a046ce965 Mon Sep 17 00:00:00 2001 From: Ian Campbell Date: Fri, 17 Feb 2012 12:24:38 +0000 Subject: [PATCH] arm: fix indentation level in startup_cpu_idle_loop Signed-off-by: Ian Campbell Acked-by: Tim Deegan Committed-by: Ian Campbell --- xen/arch/arm/domain.c | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/xen/arch/arm/domain.c b/xen/arch/arm/domain.c index 5fe370b14d..0b559343ad 100644 --- a/xen/arch/arm/domain.c +++ b/xen/arch/arm/domain.c @@ -163,15 +163,15 @@ void sync_local_execstate(void) void startup_cpu_idle_loop(void) { - struct vcpu *v = current; + struct vcpu *v = current; - ASSERT(is_idle_vcpu(v)); - /* TODO - cpumask_set_cpu(v->processor, v->domain->domain_dirty_cpumask); - cpumask_set_cpu(v->processor, v->vcpu_dirty_cpumask); - */ + ASSERT(is_idle_vcpu(v)); + /* TODO + cpumask_set_cpu(v->processor, v->domain->domain_dirty_cpumask); + cpumask_set_cpu(v->processor, v->vcpu_dirty_cpumask); + */ - reset_stack_and_jump(idle_loop); + reset_stack_and_jump(idle_loop); } struct domain *alloc_domain_struct(void) -- 2.30.2