diff --git a/src/libos/src/vm/vm_manager.rs b/src/libos/src/vm/vm_manager.rs index 42d138c8..ecaca4b3 100644 --- a/src/libos/src/vm/vm_manager.rs +++ b/src/libos/src/vm/vm_manager.rs @@ -783,6 +783,9 @@ impl InternalVMManager { // Remove from chunks self.chunks.remove(chunk); + // Mprotect the whole chunk to reduce the usage of vma count of host + VMPerms::apply_perms(range, VMPerms::DEFAULT); + // Add range back to freespace manager self.free_manager.add_range_back_to_free_manager(range); Ok(())