[Xen-devel] [PATCH 0/2] Disable xen platform PCI device when xen_platform_pci=0 is specified

[Yuji Shimada <shimada-yxb@xxxxxxxxxxxxxxx>]

This series of patches disables xen platform PCI device of HVM domain
when "xen_platform_pci=0" is specified.

- Alias the "platform_flags" byte of the ioport BAR to fixed byte port
  0x10, and don't remove existing "platform_flags" byte.

- Change guest firmware to use new fixed byte port 0x10.

- Add "xen_platform_pci" option into guest config file and APIs.

    xen_platform_pci=0: Disable xen platform device.
    xen_platform_pci=1: Enable xen platform device. (default)

- Add "disable_pf" entry into xenstore.

- Disable xen platform PCI device if "disable_pf" entry is 1. If there
  is not "disable_pf" entry, xen platform PCI device is enabled.

Thanks,
--
Yuji Shimada


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel