From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Tue, 30 Sep 2008 23:20:16 +0000 (-0500)
Subject: bug fix in deinit
X-Git-Tag: 1.0~3^2~17^2~6
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=db45b5a19f672956e8875a116b06d7ed44c9258c

bug fix in deinit
---

diff --git a/palacios/src/palacios/vmm_dev_mgr.c b/palacios/src/palacios/vmm_dev_mgr.c
index daea57c..10c1112 100644
--- a/palacios/src/palacios/vmm_dev_mgr.c
+++ b/palacios/src/palacios/vmm_dev_mgr.c
@@ -29,8 +29,9 @@ int dev_mgr_init(struct guest_info * info) {
 int dev_mgr_deinit(struct guest_info * info) {
   struct vm_device * dev;
   struct vmm_dev_mgr * mgr = &(info->dev_mgr);
+  struct vm_device * tmp;
 
-  list_for_each_entry(dev, &(mgr->dev_list), dev_link) {
+  list_for_each_entry_safe(dev, tmp, &(mgr->dev_list), dev_link) {
     v3_unattach_device(dev);
     free_device(dev);
   }