deallocation of devices

[palacios.git] / palacios / src / palacios / vmm_dev_mgr.c

diff --git a/palacios/src/palacios/vmm_dev_mgr.c b/palacios/src/palacios/vmm_dev_mgr.c
index 70d0d5e..6f80ba9 100644 (file)
--- a/palacios/src/palacios/vmm_dev_mgr.c
+++ b/palacios/src/palacios/vmm_dev_mgr.c
@@ -234,7 +234,7 @@ int v3_remove_device(struct vm_device * dev) {
     }
 
     if (dev->ops->free) {
-       dev->ops->free(dev);
+       dev->ops->free(dev->private_data);
     } else {
        PrintError("Error: %s free() not implemented\n",  dev->name);
     }