From: Keir Fraser <keir.fraser@citrix.com>
Date: Tue, 31 Mar 2009 10:16:01 +0000 (+0100)
Subject: xend: Save the state of PPCIs after hot-plug events.
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~13989^2~71
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=f32b5caf311e6fedc1a22048a04b3724939142d0;p=xen.git

xend: Save the state of PPCIs after hot-plug events.

Signed-off-by: Yosuke Iwamatsu <y-iwamatsu@ab.jp.nec.com>
---

diff --git a/tools/python/xen/xend/XendNode.py b/tools/python/xen/xend/XendNode.py
index 61779fa77e..1a40735cba 100644
--- a/tools/python/xen/xend/XendNode.py
+++ b/tools/python/xen/xend/XendNode.py
@@ -363,6 +363,8 @@ class XendNode:
         ppci_uuid = saved_ppci_table.get(pci_dev.name, uuid.createString())
         XendPPCI(ppci_uuid, ppci_record)
 
+        self.save_PPCIs()
+
 
     def remove_PPCI(self, pci_name):
         # Update lspci info
@@ -373,6 +375,8 @@ class XendNode:
         ppci_ref = XendPPCI.get_by_sbdf(domain, bus, slot, func)
         XendAPIStore.get(ppci_ref, "PPCI").destroy()
 
+        self.save_PPCIs()
+
 
     def add_PSCSI(self):
         # TODO