From 5cd8c877966a291764003dd9b42e9c894ef8a518 Mon Sep 17 00:00:00 2001
From: Gleb Natapov <gleb@cloudius-systems.com>
Date: Thu, 26 Dec 2013 11:09:28 +0200
Subject: [PATCH] mmu: remove tlb_flush from vdepopulate
operate_range() has it already.
Signed-off-by: Gleb Natapov <gleb@cloudius-systems.com>
Signed-off-by: Avi Kivity <avi@cloudius-systems.com>
---
core/mmu.cc | 1 -
1 file changed, 1 deletion(-)
diff --git a/core/mmu.cc b/core/mmu.cc
index 535de0e02..5fc0264cd 100644
--- a/core/mmu.cc
+++ b/core/mmu.cc
@@ -722,7 +722,6 @@ void vdepopulate(void* addr, size_t size)
WITH_LOCK(vma_list_mutex) {
operate_range(unpopulate(), addr, size);
}
- tlb_flush();
}
void* map_anon(void* addr, size_t size, unsigned flags, unsigned perm)
--
GitLab