arm: Unmap virtual GIC on cell destruction

[jailhouse.git] / hypervisor / arch / arm / gic-v2.c

diff --git a/hypervisor/arch/arm/gic-v2.c b/hypervisor/arch/arm/gic-v2.c
index a87894f65e7b885dc2b2a3789f917160138dfd03..16937b1b929db7ab2439530d9eb2e57ab2ce5cec 100644 (file)
--- a/hypervisor/arch/arm/gic-v2.c
+++ b/hypervisor/arch/arm/gic-v2.c
@@ -198,6 +198,8 @@ static int gic_cell_init(struct cell *cell)
 
 static void gic_cell_exit(struct cell *cell)
 {
+       paging_destroy(&cell->arch.mm, (unsigned long)gicc_base, gicc_size,
+                      PAGING_NON_COHERENT);
        /* Reset interrupt routing of the cell's spis */
        gic_target_spis(cell, &root_cell);
 }