Igor Mammedov b8622725cf 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>
2013-05-01 13:04:18 +02:00
..
2013-04-12 14:33:20 +02:00
2013-01-11 08:30:24 +01:00
2012-07-23 11:55:17 +01:00
2013-04-03 11:39:43 +02:00
2013-03-22 13:25:07 +01:00
2012-08-08 13:51:11 +02:00