diff options
-rw-r--r-- | xen/arch/arm/gic.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/xen/arch/arm/gic.c b/xen/arch/arm/gic.c index dd902d293c..1e2d493e14 100644 --- a/xen/arch/arm/gic.c +++ b/xen/arch/arm/gic.c @@ -421,10 +421,12 @@ void __cpuinit gic_init_secondary_cpu(void) /* Shut down the per-CPU GIC interface */ void gic_disable_cpu(void) { - spin_lock_irq(&gic.lock); + ASSERT(!local_irq_is_enabled()); + + spin_lock(&gic.lock); gic_cpu_disable(); gic_hyp_disable(); - spin_unlock_irq(&gic.lock); + spin_unlock(&gic.lock); } void gic_route_ppis(void) |