From f3da3817522de7ed6febf0faf9caf723018f5da9 Mon Sep 17 00:00:00 2001 From: Ken Sato Date: Tue, 11 Oct 2016 14:44:23 +0900 Subject: [PATCH] ihk_mc_unmap_virtual: add flush_tlb_single refs #778 --- kernel/mem.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/kernel/mem.c b/kernel/mem.c index c87d43ba..f57935f9 100644 --- a/kernel/mem.c +++ b/kernel/mem.c @@ -580,8 +580,10 @@ void ihk_mc_unmap_virtual(void *va, int npages, int free_physical) ihk_mc_pt_clear_page(NULL, (char *)va + (i << PAGE_SHIFT)); } - if (free_physical) + if (free_physical) { ihk_pagealloc_free(vmap_allocator, (unsigned long)va, npages); + flush_tlb_single((unsigned long)va); + } } #ifdef ATTACHED_MIC