acpi_piix4: Add infrastructure to send CPU hot-plug GPE to guest
commitb8622725cf0196f672f272922b0941dc8ba1c408
authorIgor Mammedov <imammedo@redhat.com>
Thu, 25 Apr 2013 14:05:25 +0000 (25 16:05 +0200)
committerAndreas Färber <afaerber@suse.de>
Wed, 1 May 2013 11:04:18 +0000 (1 13:04 +0200)
treef33cacb399cb67622dd53a98240ac7073ceb0ad4
parent69e5ff067ae724155fd7465119ee6db5721288b6
acpi_piix4: Add infrastructure to send CPU hot-plug GPE to guest

* introduce processor status bitmask visible to guest at 0xaf00 addr,
  where ACPI asl code expects it
* set bit corresponding to APIC ID in processor status bitmask on
  receiving CPU hot-plug notification
* trigger CPU hot-plug SCI, to notify guest about CPU hot-plug event

Signed-off-by: Igor Mammedov <imammedo@redhat.com>
Signed-off-by: Andreas Färber <afaerber@suse.de>
docs/specs/acpi_cpu_hotplug.txt [new file with mode: 0644]
hw/acpi/piix4.c