ihk_mc_unmap_virtual: add flush_tlb_single

refs #778
2016-10-11 14:44:23 +09:00
parent 8aa589a40c
commit f3da381752
1 changed files with 3 additions and 1 deletions
--- 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