From 88ce00167195aee7ec8f17c840afbf53a2537d46 Mon Sep 17 00:00:00 2001
From: NAKAMURA Gou <go.nakamura.yw@hitachi-solutions.com>
Date: Tue, 30 Jul 2013 13:37:53 +0900
Subject: [PATCH] munmap/mprotect: add TLB flush for single thread program

---
 kernel/syscall.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/kernel/syscall.c b/kernel/syscall.c
index 68b2d5cb..604ab537 100644
--- a/kernel/syscall.c
+++ b/kernel/syscall.c
@@ -216,6 +216,7 @@ static int do_munmap(void *addr, size_t len)
 	error = remove_process_memory_range(cpu_local_var(current),
 			(intptr_t)addr, (intptr_t)addr+len);
 	// XXX: TLB flush
+	flush_tlb();
 	finish_free_pages_pending();
 	return error;
 }
@@ -617,6 +618,7 @@ SYSCALL_DECLARE(mprotect)
 	error = 0;
 out:
 	// XXX: TLB flush
+	flush_tlb();
 	finish_free_pages_pending();
 	ihk_mc_spinlock_unlock_noirq(&proc->vm->memory_range_lock);
 	dkprintf("[%d]sys_mprotect(%lx,%lx,%x): %d\n",