arm: Unmap virtual GIC on cell destruction

[jailhouse.git] / hypervisor / arch / arm / control.c

diff --git a/hypervisor/arch/arm/control.c b/hypervisor/arch/arm/control.c
index bfd79c09fd5f7e8bab411996eeda2aef45aee4f1..a0777369ab05eef27b4ebdc52119757113936e47 100644 (file)
--- a/hypervisor/arch/arm/control.c
+++ b/hypervisor/arch/arm/control.c
@@ -366,8 +366,6 @@ void arch_cell_destroy(struct cell *cell)
        unsigned int cpu;
        struct per_cpu *percpu;
 
-       arch_mmu_cell_destroy(cell);
-
        for_each_cpu(cpu, cell->cpu_set) {
                percpu = per_cpu(cpu);
                /* Re-assign the physical IDs for the root cell */
@@ -376,6 +374,8 @@ void arch_cell_destroy(struct cell *cell)
        }
 
        irqchip_cell_exit(cell);
+
+       arch_mmu_cell_destroy(cell);
 }
 
 /* Note: only supports synchronous flushing as triggered by config_commit! */