xend: call pci_device_configure on the stubdom

Whenever pci_device_configure is called on a guest that has a stubdom,
call pci_device_configure on the stubdom as well.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>

tools/python/xen/xend/XendDomainInfo.py

@@ -855,6 +855,13 @@ class XendDomainInfo:
         dev_config = pci_convert_sxp_to_dict(dev_sxp)
         dev = dev_config['devs'][0]
 
+        dom_list = xstransact.List('/local/domain')
+        for d in dom_list:
+            target = xstransact.Read('/local/domain/' + d + '/target')
+            if target is not None and int(target) is self.domid :
+                from xen.xend import XendDomain
+                XendDomain.instance().domain_lookup(int(d)).pci_device_configure(dev_sxp[:])
+
         # Do HVM specific processing
         if self.info.is_hvm():
             if pci_state == 'Initialising':