T73: do full TLB flush when modifying flags.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

diff --git a/kernel/arch/x86_64/page_mappings_arch.c b/kernel/arch/x86_64/page_mappings_arch.c
index 65cd8b0..faae519 100644 (file)
--- a/kernel/arch/x86_64/page_mappings_arch.c
+++ b/kernel/arch/x86_64/page_mappings_arch.c
@@ -426,8 +426,9 @@ errval_t page_mappings_modify_flags(struct capability *frame, size_t offset,
         paging_x86_64_modify_flags(entry, flags);
     }
 
-    /* flush affected TLB entries and return */
-    return paging_tlb_flush_range(mapping, pages);
+    /* do full TLB flush */
+    do_full_tlb_flush();
+    return SYS_ERR_OK;
 }
 
 void paging_dump_tables(struct dcb *dispatcher)