ioemu-remote: use xenstore direct_pci

ioemu-remote: Use xenstore's direct_pci instead of the one from the
command line if there is some pass-through devices.

Signed-off-by: Jean Guyader <jean.guyader@eu.citrix.com>

diff --git a/vl.c b/vl.c
index e7aa27e6f065014576925d8d810cfaa2d94c5ea7..260657f8b22e053545e97fc156b5cd354f219908 100644 (file)
--- a/vl.c
+++ b/vl.c
@@ -8805,6 +8805,9 @@ int main(int argc, char **argv)
         }
     }
 
+    if (strlen(direct_pci_str) > 0)
+        direct_pci = direct_pci_str;
+
     machine->init(ram_size, vga_ram_size, boot_devices, ds,
                   kernel_filename, kernel_cmdline, initrd_filename, cpu_model,
                  direct_pci);