In DSDT, reserve the IO port ranges: [0x10c0, 0x10c2] and [0xb044, 0xb047] that
are used by the virtual PCI hotplug.
Or else, for a hotplugged-in device, the port IO BAR assigned by guest OS may
conflict with the ranges here.
Signed-off-by: Dexuan Cui <dexuan.cui@xxxxxxxxx>
reserve_io_ports_used_by_hotplug.patch
Description: reserve_io_ports_used_by_hotplug.patch
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
|