diff --git a/vmm/src/memory_manager.rs b/vmm/src/memory_manager.rs index 18e0b86b6..bebcc8fa4 100644 --- a/vmm/src/memory_manager.rs +++ b/vmm/src/memory_manager.rs @@ -2563,6 +2563,8 @@ impl MemoryManager { userspace_addr_ = userspace_addr as u64 ); + self.memory_slot_allocator().free_memory_slot(slot); + Ok(()) }