[PATCH v2] Handle xen_platform_pci=0 case

[Anthony PERARD <anthony.perard@citrix.com>]

Hi,

Here is a little patch that attempt to fix the issue regarding
xen_platform_pci=0 not been handled.

There is one patch left from the previous version. The patch that was adding
qemu_machine_override have been removed as it is unnecessary. If someone wants
to change the -machine, it can always add it to device_model_args_hvm, as QEMU
appear to use the last one.

Regards,

Anthony PERARD (1):
  libxl: Handle xen_platform_pci=0 case with qemu-xen.

 tools/libxl/libxl_dm.c | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

-- 
Anthony PERARD