acpi: Reserve IO ports used by hotplug
authorKeir Fraser <keir.fraser@citrix.com>
Mon, 29 Dec 2008 14:13:07 +0000 (14:13 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Mon, 29 Dec 2008 14:13:07 +0000 (14:13 +0000)
commit9976adf65a5e0cd7750df5be07889c7263107a8a
tree236b10317f1fb3083071266a438ebeb17b2d07e4
parent119a6a6e07a5b5d41b87ce8a0886761db40325b8
acpi: Reserve IO ports used by hotplug

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@intel.com>
tools/firmware/hvmloader/acpi/dsdt.asl
tools/firmware/hvmloader/acpi/dsdt.c