Flush TLB after page_map_create

Required if we update an existing mapping.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>

diff --git a/hypervisor/paging.c b/hypervisor/paging.c
index e5fede2d8b10060e4ebfacc4559dcb6786d4c11c..47993b07e7e408f7d61733a538a527864c32c43d 100644 (file)
--- a/hypervisor/paging.c
+++ b/hypervisor/paging.c
@@ -173,6 +173,8 @@ int page_map_create(pgd_t *page_table, unsigned long phys, unsigned long size,
                set_pte(pte, phys, flags);
        }
 
+       flush_tlb();
+
        return 0;
 }