[QEMU-traditional] ACPI AML code races with QEMU updating the vCPU count when hotplugging more than ~14 VCPUs.

[QEMU-traditional] ACPI AML code races with QEMU updating the vCPU count when hotplugging more than ~14 VCPUs.

[Konrad Rzeszutek Wilk]

[-- Attachment #1: Type: text/plain, Size: 2005 bytes --]

This is a race so the amount varies but on a 4PCPU box
I seem to get only ~14 out of 16 vCPUs I want to online.

The issue at hand is that QEMU xenstore.c hotplug code
does to the command: xl vcpu-set latest 16
(guest config has vcpus=1, maxvcpus=32) this:


QEMU:						Guest OS:
-xenstore_process_vcpu_set_event
 -> Gets an XenBus notification for CPU1
 -> Updates the gpe_state.cpus_state bitfield.       
	-> Pulses the ACPI SCI 
						- ACPI SCI kicks in

 -> Gets an XenBus notification for CPU2
 -> Updates the gpe_state.cpus_state bitfield.
	-> Pulses the ACPI SCI 

 -> Gets an XenBus notification for CPU3
 -> Updates the gpe_state.cpus_state bitfield.
	-> Pulses the ACPI SCI 
   ...
						 - Method(PRST) invoked
							  
 -> Gets an XenBus notification for CPU12
 -> Updates the gpe_state.cpus_state bitfield.
	-> Pulses the ACPI SCI 
						  - reads AF00 for CPU state
						    [gets 0xff]
						  - reads AF02 [gets 0x7f]

							
 -> Gets an XenBus notification for CPU13
 -> Updates the gpe_state.cpus_state bitfield.
	-> Pulses the ACPI SCI 

	.. until VCPU 16
						 - Method PRST updates
						   PR01 through 13 FLG
						   entry.
						 - PR01->PR13 _MAD
						   invoked.

						 - Brings up 13 CPUs.

While QEMU updates the rest of the cpus_state bitfields the ACPI AML
only does the CPU hotplug on those it had read. For reference
please see the debug patch and also the QEMU log. Look for
'gpe_cpus_readb'.

My thinking of how to fix this is just to add in
xenstore_process_vcpu_set_event
 - a scan for all of the other availability/cpu states.
 - for each of the cpu availability states query the
   gpe_state.cpus_state and if different modify them (and set
   a bool that one of them was modified).
 - When done scanning and if the bool was set, then kick of the
   qemu_irq_pulse.

Then if the other events are triggered we can just check the
gpe_state.cpus_state against what XenBus thinks and if they
are the same just return without doing the qemu_irq_pulse.

Thoughts?

[-- Attachment #2: qemu-debug.patch --]
[-- Type: text/plain, Size: 2089 bytes --]

diff --git a/hw/piix4acpi.c b/hw/piix4acpi.c
index fb1e5c3..2098223 100644
--- a/hw/piix4acpi.c
+++ b/hw/piix4acpi.c
@@ -38,7 +38,7 @@
 #define PIIX4ACPI_LOG_INFO 1
 #define PIIX4ACPI_LOG_DEBUG 2
 #define PIIX4ACPI_LOGLEVEL PIIX4ACPI_LOG_INFO
-#define PIIX4ACPI_LOG(level, fmt, ...) do { if (level <= PIIX4ACPI_LOGLEVEL) qemu_log(fmt, ## __VA_ARGS__); } while (0)
+#define PIIX4ACPI_LOG(level, fmt, ...) do { fprintf(logfile, fmt, ## __VA_ARGS__); } while (0)
 
 #ifdef CONFIG_PASSTHROUGH
 #include <pci/header.h>
@@ -553,7 +553,7 @@ static uint32_t gpe_cpus_readb(void *opaque, uint32_t addr)
 {
     uint32_t val = 0;
     GPEState *g = opaque;
-
+    fprintf(logfile, "%s: %x val: %x\n", __func__, addr, g->cpus_sts[addr - PROC_BASE]);
     switch (addr) {
         case PROC_BASE ... PROC_BASE+31:
             val = g->cpus_sts[addr - PROC_BASE];
@@ -820,7 +820,20 @@ void qemu_cpu_add_remove(int cpu, int state)
         fprintf(stderr, "vcpu out of range, should be [0~%d]\n", vcpus - 1);
         return;
     }
+    fprintf(logfile, "vcpu %d/%d, gpe0_sts[0]: %x\n",
+            cpu, vcpus, gpe_state.gpe0_en[0]);
 
+    {
+        int i;
+        for (i = 0; i < vcpus; i++ ) {
+            fprintf(logfile, "VCPU%d %x %s", i, gpe_state.cpus_sts[i/8] & (1 << (i%8)),
+                    (( i % 8) == 0) ? "\n" : "");
+        } /*
+        for (i = 0; i < ACPI_GPE0_BLK_LEN_V0 / 2; i++)
+            fprintf(logfile, "STS%d = %x\n", i, gpe_state.gpe0_sts[i]);
+        for (i = 0; i < ACPI_GPE0_BLK_LEN_V0 / 2; i++)
+            fprintf(logfile, "ENA%d = %x\n", i, gpe_state.gpe0_en[i]); */
+    }
     if (state) {
         if (!enable_processor(&gpe_state, cpu))
             return;
@@ -830,8 +843,8 @@ void qemu_cpu_add_remove(int cpu, int state)
     }
     fprintf(logfile, "%s vcpu %d\n", state ? "Add" : "Remove", cpu);
 
+    fprintf(logfile, "STS[0] = %x ENA[0] = %x\n", gpe_state.gpe0_sts[0], gpe_state.gpe0_en[0]);
     if (gpe_state.gpe0_en[0] & 4) {
-        qemu_set_irq(sci_irq, 1);
-        qemu_set_irq(sci_irq, 0);
+        qemu_irq_pulse(sci_irq);
     }
 }

[-- Attachment #3: qemu-dm-latest.log --]
[-- Type: text/plain, Size: 86005 bytes --]

domid: 1
-videoram option does not work with cirrus vga device model. Videoram set to 4M.
Strip off blktap sub-type prefix to /mnt/lab/latest/root_image.iso (drv 'aio')
Using file /mnt/lab/latest/root_image.iso in read-only mode
Watching /local/domain/0/device-model/1/logdirty/cmd
Watching /local/domain/0/device-model/1/command
Watching /local/domain/1/cpu
char device redirected to /dev/pts/2
qemu_map_cache_init nr_buckets = 10000 size 4194304
shared page at pfn feffd
buffered io page at pfn feffb
Guest uuid = 31807e9f-36b9-415b-bf12-2b33f71d174f
populating video RAM at ff000000
mapping video RAM from ff000000
Register xen platform.
Done register platform.
platform_fixed_ioport: changed ro/rw state of ROM memory area. now is rw state.
xs_read(/local/domain/0/device-model/1/xen_extended_power_mgmt): read error
xs_read(): vncpasswd get error. /vm/31807e9f-36b9-415b-bf12-2b33f71d174f/vncpasswd.
medium change watch on `hdc' (index: 0): aio:/mnt/lab/latest/root_image.iso
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
Log-dirty: no command yet.
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
vcpu-set: watch node error.
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
xs_read(/local/domain/1/log-throttling): read error
qemu: ignoring not-understood drive `/local/domain/1/log-throttling'
medium change watch on `/local/domain/1/log-throttling' - unknown device, ignored
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
I/O request not ready: 0, ptr: 0, port: 0, data: 0, count: 0, size: 0
cirrus vga map change while on lfb mode
mapping vram to f0000000 - f0400000
platform_fixed_ioport: changed ro/rw state of ROM memory area. now is rw state.
platform_fixed_ioport: changed ro/rw state of ROM memory area. now is ro state.
Unknown PV product 3 loaded in guest
PV driver build 1
region type 1 at [c100,c200).
region type 0 at [f3001000,f3001100).
squash iomem [f3001000, f3001100).
gpe_en_write: addr=0xafe2, val=0x0.
gpe_sts_write: addr=0xafe0, val=0xff.
gpe_en_write: addr=0xafe3, val=0x0.
gpe_sts_write: addr=0xafe1, val=0xff.
gpe_en_write: addr=0xafe2, val=0x0.
gpe_en_write: addr=0xafe2, val=0x0.
ACPI PCI hotplug: read addr=0x10c2, val=0x00.
ACPI PCI hotplug: read addr=0x10c2, val=0x00.
ACPI PCI hotplug: read addr=0x10c2, val=0x00.
ACPI PCI hotplug: read addr=0x10c2, val=0x00.
ACPI PCI hotplug: read addr=0x10c3, val=0x00.
ACPI PCI hotplug: read addr=0x10c3, val=0x00.
ACPI PCI hotplug: read addr=0x10c3, val=0x00.
ACPI PCI hotplug: read addr=0x10c3, val=0x00.
ACPI PCI hotplug: read addr=0x10c4, val=0x00.
ACPI PCI hotplug: read addr=0x10c4, val=0x00.
ACPI PCI hotplug: read addr=0x10c4, val=0x00.
ACPI PCI hotplug: read addr=0x10c4, val=0x00.
ACPI PCI hotplug: read addr=0x10c5, val=0x00.
ACPI PCI hotplug: read addr=0x10c5, val=0x00.
ACPI PCI hotplug: read addr=0x10c5, val=0x00.
ACPI PCI hotplug: read addr=0x10c5, val=0x00.
ACPI PCI hotplug: read addr=0x10c6, val=0x00.
ACPI PCI hotplug: read addr=0x10c6, val=0x00.
ACPI PCI hotplug: read addr=0x10c6, val=0x00.
ACPI PCI hotplug: read addr=0x10c6, val=0x00.
ACPI PCI hotplug: read addr=0x10c7, val=0x00.
ACPI PCI hotplug: read addr=0x10c7, val=0x00.
ACPI PCI hotplug: read addr=0x10c7, val=0x00.
ACPI PCI hotplug: read addr=0x10c7, val=0x00.
ACPI PCI hotplug: read addr=0x10c8, val=0x00.
ACPI PCI hotplug: read addr=0x10c8, val=0x00.
ACPI PCI hotplug: read addr=0x10c8, val=0x00.
ACPI PCI hotplug: read addr=0x10c8, val=0x00.
ACPI PCI hotplug: read addr=0x10c9, val=0x00.
ACPI PCI hotplug: read addr=0x10c9, val=0x00.
ACPI PCI hotplug: read addr=0x10c9, val=0x00.
ACPI PCI hotplug: read addr=0x10c9, val=0x00.
ACPI PCI hotplug: read addr=0x10ca, val=0x00.
ACPI PCI hotplug: read addr=0x10ca, val=0x00.
ACPI PCI hotplug: read addr=0x10ca, val=0x00.
ACPI PCI hotplug: read addr=0x10ca, val=0x00.
ACPI PCI hotplug: read addr=0x10cb, val=0x00.
ACPI PCI hotplug: read addr=0x10cb, val=0x00.
ACPI PCI hotplug: read addr=0x10cb, val=0x00.
ACPI PCI hotplug: read addr=0x10cb, val=0x00.
ACPI PCI hotplug: read addr=0x10cc, val=0x00.
ACPI PCI hotplug: read addr=0x10cc, val=0x00.
ACPI PCI hotplug: read addr=0x10cc, val=0x00.
ACPI PCI hotplug: read addr=0x10cc, val=0x00.
ACPI PCI hotplug: read addr=0x10cd, val=0x00.
ACPI PCI hotplug: read addr=0x10cd, val=0x00.
ACPI PCI hotplug: read addr=0x10cd, val=0x00.
ACPI PCI hotplug: read addr=0x10cd, val=0x00.
ACPI PCI hotplug: read addr=0x10ce, val=0x00.
ACPI PCI hotplug: read addr=0x10ce, val=0x00.
ACPI PCI hotplug: read addr=0x10ce, val=0x00.
ACPI PCI hotplug: read addr=0x10ce, val=0x00.
ACPI PCI hotplug: read addr=0x10cf, val=0x00.
ACPI PCI hotplug: read addr=0x10cf, val=0x00.
ACPI PCI hotplug: read addr=0x10cf, val=0x00.
ACPI PCI hotplug: read addr=0x10cf, val=0x00.
ACPI PCI hotplug: read addr=0x10d0, val=0x00.
ACPI PCI hotplug: read addr=0x10d0, val=0x00.
ACPI PCI hotplug: read addr=0x10d0, val=0x00.
ACPI PCI hotplug: read addr=0x10d0, val=0x00.
ACPI PCI hotplug: read addr=0x10d1, val=0x00.
ACPI PCI hotplug: read addr=0x10d1, val=0x00.
ACPI PCI hotplug: read addr=0x10d1, val=0x00.
ACPI PCI hotplug: read addr=0x10d1, val=0x00.
ACPI PCI hotplug: read addr=0x10d2, val=0x00.
ACPI PCI hotplug: read addr=0x10d2, val=0x00.
ACPI PCI hotplug: read addr=0x10d2, val=0x00.
ACPI PCI hotplug: read addr=0x10d2, val=0x00.
ACPI PCI hotplug: read addr=0x10d3, val=0x00.
ACPI PCI hotplug: read addr=0x10d3, val=0x00.
ACPI PCI hotplug: read addr=0x10d3, val=0x00.
ACPI PCI hotplug: read addr=0x10d3, val=0x00.
ACPI PCI hotplug: read addr=0x10d4, val=0x00.
ACPI PCI hotplug: read addr=0x10d4, val=0x00.
ACPI PCI hotplug: read addr=0x10d4, val=0x00.
ACPI PCI hotplug: read addr=0x10d4, val=0x00.
ACPI PCI hotplug: read addr=0x10d5, val=0x00.
ACPI PCI hotplug: read addr=0x10d5, val=0x00.
ACPI PCI hotplug: read addr=0x10d5, val=0x00.
ACPI PCI hotplug: read addr=0x10d5, val=0x00.
ACPI PCI hotplug: read addr=0x10d6, val=0x00.
ACPI PCI hotplug: read addr=0x10d6, val=0x00.
ACPI PCI hotplug: read addr=0x10d6, val=0x00.
ACPI PCI hotplug: read addr=0x10d6, val=0x00.
ACPI PCI hotplug: read addr=0x10d7, val=0x00.
ACPI PCI hotplug: read addr=0x10d7, val=0x00.
ACPI PCI hotplug: read addr=0x10d7, val=0x00.
ACPI PCI hotplug: read addr=0x10d7, val=0x00.
ACPI PCI hotplug: read addr=0x10d8, val=0x00.
ACPI PCI hotplug: read addr=0x10d8, val=0x00.
ACPI PCI hotplug: read addr=0x10d8, val=0x00.
ACPI PCI hotplug: read addr=0x10d8, val=0x00.
ACPI PCI hotplug: read addr=0x10d9, val=0x00.
ACPI PCI hotplug: read addr=0x10d9, val=0x00.
ACPI PCI hotplug: read addr=0x10d9, val=0x00.
ACPI PCI hotplug: read addr=0x10d9, val=0x00.
ACPI PCI hotplug: read addr=0x10da, val=0x00.
ACPI PCI hotplug: read addr=0x10da, val=0x00.
ACPI PCI hotplug: read addr=0x10da, val=0x00.
ACPI PCI hotplug: read addr=0x10da, val=0x00.
ACPI PCI hotplug: read addr=0x10db, val=0x00.
ACPI PCI hotplug: read addr=0x10db, val=0x00.
ACPI PCI hotplug: read addr=0x10db, val=0x00.
ACPI PCI hotplug: read addr=0x10db, val=0x00.
ACPI PCI hotplug: read addr=0x10dc, val=0x00.
ACPI PCI hotplug: read addr=0x10dc, val=0x00.
ACPI PCI hotplug: read addr=0x10dc, val=0x00.
ACPI PCI hotplug: read addr=0x10dc, val=0x00.
ACPI PCI hotplug: read addr=0x10dd, val=0x00.
ACPI PCI hotplug: read addr=0x10dd, val=0x00.
ACPI PCI hotplug: read addr=0x10dd, val=0x00.
ACPI PCI hotplug: read addr=0x10dd, val=0x00.
ACPI PCI hotplug: read addr=0x10de, val=0x00.
ACPI PCI hotplug: read addr=0x10de, val=0x00.
ACPI PCI hotplug: read addr=0x10de, val=0x00.
ACPI PCI hotplug: read addr=0x10de, val=0x00.
ACPI PCI hotplug: read addr=0x10df, val=0x00.
ACPI PCI hotplug: read addr=0x10df, val=0x00.
ACPI PCI hotplug: read addr=0x10df, val=0x00.
ACPI PCI hotplug: read addr=0x10df, val=0x00.
ACPI PCI hotplug: read addr=0x10e0, val=0x00.
ACPI PCI hotplug: read addr=0x10e0, val=0x00.
ACPI PCI hotplug: read addr=0x10e0, val=0x00.
ACPI PCI hotplug: read addr=0x10e0, val=0x00.
ACPI PCI hotplug: read addr=0x10e1, val=0x00.
ACPI PCI hotplug: read addr=0x10e1, val=0x00.
ACPI PCI hotplug: read addr=0x10e1, val=0x00.
ACPI PCI hotplug: read addr=0x10e1, val=0x00.
ACPI PCI hotplug: read addr=0x10e2, val=0x00.
ACPI PCI hotplug: read addr=0x10e2, val=0x00.
ACPI PCI hotplug: read addr=0x10e2, val=0x00.
ACPI PCI hotplug: read addr=0x10e2, val=0x00.
ACPI PCI hotplug: read addr=0x10e3, val=0x00.
ACPI PCI hotplug: read addr=0x10e3, val=0x00.
ACPI PCI hotplug: read addr=0x10e3, val=0x00.
ACPI PCI hotplug: read addr=0x10e3, val=0x00.
ACPI PCI hotplug: read addr=0x10e4, val=0x00.
ACPI PCI hotplug: read addr=0x10e4, val=0x00.
ACPI PCI hotplug: read addr=0x10e4, val=0x00.
ACPI PCI hotplug: read addr=0x10e4, val=0x00.
ACPI PCI hotplug: read addr=0x10e5, val=0x00.
ACPI PCI hotplug: read addr=0x10e5, val=0x00.
ACPI PCI hotplug: read addr=0x10e5, val=0x00.
ACPI PCI hotplug: read addr=0x10e5, val=0x00.
ACPI PCI hotplug: read addr=0x10e6, val=0x00.
ACPI PCI hotplug: read addr=0x10e6, val=0x00.
ACPI PCI hotplug: read addr=0x10e6, val=0x00.
ACPI PCI hotplug: read addr=0x10e6, val=0x00.
ACPI PCI hotplug: read addr=0x10e7, val=0x00.
ACPI PCI hotplug: read addr=0x10e7, val=0x00.
ACPI PCI hotplug: read addr=0x10e7, val=0x00.
ACPI PCI hotplug: read addr=0x10e7, val=0x00.
ACPI PCI hotplug: read addr=0x10e8, val=0x00.
ACPI PCI hotplug: read addr=0x10e8, val=0x00.
ACPI PCI hotplug: read addr=0x10e8, val=0x00.
ACPI PCI hotplug: read addr=0x10e8, val=0x00.
ACPI PCI hotplug: read addr=0x10e9, val=0x00.
ACPI PCI hotplug: read addr=0x10e9, val=0x00.
ACPI PCI hotplug: read addr=0x10e9, val=0x00.
ACPI PCI hotplug: read addr=0x10e9, val=0x00.
ACPI PCI hotplug: read addr=0x10ea, val=0x00.
ACPI PCI hotplug: read addr=0x10ea, val=0x00.
ACPI PCI hotplug: read addr=0x10ea, val=0x00.
ACPI PCI hotplug: read addr=0x10ea, val=0x00.
ACPI PCI hotplug: read addr=0x10eb, val=0x00.
ACPI PCI hotplug: read addr=0x10eb, val=0x00.
ACPI PCI hotplug: read addr=0x10eb, val=0x00.
ACPI PCI hotplug: read addr=0x10eb, val=0x00.
ACPI PCI hotplug: read addr=0x10ec, val=0x00.
ACPI PCI hotplug: read addr=0x10ec, val=0x00.
ACPI PCI hotplug: read addr=0x10ec, val=0x00.
ACPI PCI hotplug: read addr=0x10ec, val=0x00.
ACPI PCI hotplug: read addr=0x10ed, val=0x00.
ACPI PCI hotplug: read addr=0x10ed, val=0x00.
ACPI PCI hotplug: read addr=0x10ed, val=0x00.
ACPI PCI hotplug: read addr=0x10ed, val=0x00.
ACPI PCI hotplug: read addr=0x10ee, val=0x00.
ACPI PCI hotplug: read addr=0x10ee, val=0x00.
ACPI PCI hotplug: read addr=0x10ee, val=0x00.
ACPI PCI hotplug: read addr=0x10ee, val=0x00.
ACPI PCI hotplug: read addr=0x10ef, val=0x00.
ACPI PCI hotplug: read addr=0x10ef, val=0x00.
ACPI PCI hotplug: read addr=0x10ef, val=0x00.
ACPI PCI hotplug: read addr=0x10ef, val=0x00.
ACPI PCI hotplug: read addr=0x10f0, val=0x00.
ACPI PCI hotplug: read addr=0x10f0, val=0x00.
ACPI PCI hotplug: read addr=0x10f0, val=0x00.
ACPI PCI hotplug: read addr=0x10f0, val=0x00.
ACPI PCI hotplug: read addr=0x10f1, val=0x00.
ACPI PCI hotplug: read addr=0x10f1, val=0x00.
ACPI PCI hotplug: read addr=0x10f1, val=0x00.
ACPI PCI hotplug: read addr=0x10f1, val=0x00.
ACPI PCI hotplug: read addr=0x10f2, val=0x00.
ACPI PCI hotplug: read addr=0x10f2, val=0x00.
ACPI PCI hotplug: read addr=0x10f2, val=0x00.
ACPI PCI hotplug: read addr=0x10f2, val=0x00.
ACPI PCI hotplug: read addr=0x10f3, val=0x00.
ACPI PCI hotplug: read addr=0x10f3, val=0x00.
ACPI PCI hotplug: read addr=0x10f3, val=0x00.
ACPI PCI hotplug: read addr=0x10f3, val=0x00.
ACPI PCI hotplug: read addr=0x10f4, val=0x00.
ACPI PCI hotplug: read addr=0x10f4, val=0x00.
ACPI PCI hotplug: read addr=0x10f4, val=0x00.
ACPI PCI hotplug: read addr=0x10f4, val=0x00.
ACPI PCI hotplug: read addr=0x10f5, val=0x00.
ACPI PCI hotplug: read addr=0x10f5, val=0x00.
ACPI PCI hotplug: read addr=0x10f5, val=0x00.
ACPI PCI hotplug: read addr=0x10f5, val=0x00.
ACPI PCI hotplug: read addr=0x10f6, val=0x00.
ACPI PCI hotplug: read addr=0x10f6, val=0x00.
ACPI PCI hotplug: read addr=0x10f6, val=0x00.
ACPI PCI hotplug: read addr=0x10f6, val=0x00.
ACPI PCI hotplug: read addr=0x10f7, val=0x00.
ACPI PCI hotplug: read addr=0x10f7, val=0x00.
ACPI PCI hotplug: read addr=0x10f7, val=0x00.
ACPI PCI hotplug: read addr=0x10f7, val=0x00.
ACPI PCI hotplug: read addr=0x10f8, val=0x00.
ACPI PCI hotplug: read addr=0x10f8, val=0x00.
ACPI PCI hotplug: read addr=0x10f8, val=0x00.
ACPI PCI hotplug: read addr=0x10f8, val=0x00.
ACPI PCI hotplug: read addr=0x10f9, val=0x00.
ACPI PCI hotplug: read addr=0x10f9, val=0x00.
ACPI PCI hotplug: read addr=0x10f9, val=0x00.
ACPI PCI hotplug: read addr=0x10f9, val=0x00.
ACPI PCI hotplug: read addr=0x10fa, val=0x00.
ACPI PCI hotplug: read addr=0x10fa, val=0x00.
ACPI PCI hotplug: read addr=0x10fa, val=0x00.
ACPI PCI hotplug: read addr=0x10fa, val=0x00.
ACPI PCI hotplug: read addr=0x10fb, val=0x00.
ACPI PCI hotplug: read addr=0x10fb, val=0x00.
ACPI PCI hotplug: read addr=0x10fb, val=0x00.
ACPI PCI hotplug: read addr=0x10fb, val=0x00.
ACPI PCI hotplug: read addr=0x10fc, val=0x00.
ACPI PCI hotplug: read addr=0x10fc, val=0x00.
ACPI PCI hotplug: read addr=0x10fc, val=0x00.
ACPI PCI hotplug: read addr=0x10fc, val=0x00.
ACPI PCI hotplug: read addr=0x10fd, val=0x00.
ACPI PCI hotplug: read addr=0x10fd, val=0x00.
ACPI PCI hotplug: read addr=0x10fd, val=0x00.
ACPI PCI hotplug: read addr=0x10fd, val=0x00.
ACPI PCI hotplug: read addr=0x10fe, val=0x00.
ACPI PCI hotplug: read addr=0x10fe, val=0x00.
ACPI PCI hotplug: read addr=0x10fe, val=0x00.
ACPI PCI hotplug: read addr=0x10fe, val=0x00.
ACPI PCI hotplug: read addr=0x10ff, val=0x00.
ACPI PCI hotplug: read addr=0x10ff, val=0x00.
ACPI PCI hotplug: read addr=0x10ff, val=0x00.
ACPI PCI hotplug: read addr=0x10ff, val=0x00.
ACPI PCI hotplug: read addr=0x1100, val=0x00.
ACPI PCI hotplug: read addr=0x1100, val=0x00.
ACPI PCI hotplug: read addr=0x1100, val=0x00.
ACPI PCI hotplug: read addr=0x1100, val=0x00.
ACPI PCI hotplug: read addr=0x1101, val=0x00.
ACPI PCI hotplug: read addr=0x1101, val=0x00.
ACPI PCI hotplug: read addr=0x1101, val=0x00.
ACPI PCI hotplug: read addr=0x1101, val=0x00.
ACPI PCI hotplug: read addr=0x1102, val=0x00.
ACPI PCI hotplug: read addr=0x1102, val=0x00.
ACPI PCI hotplug: read addr=0x1102, val=0x00.
ACPI PCI hotplug: read addr=0x1102, val=0x00.
ACPI PCI hotplug: read addr=0x1103, val=0x00.
ACPI PCI hotplug: read addr=0x1103, val=0x00.
ACPI PCI hotplug: read addr=0x1103, val=0x00.
ACPI PCI hotplug: read addr=0x1103, val=0x00.
ACPI PCI hotplug: read addr=0x1104, val=0x00.
ACPI PCI hotplug: read addr=0x1104, val=0x00.
ACPI PCI hotplug: read addr=0x1104, val=0x00.
ACPI PCI hotplug: read addr=0x1104, val=0x00.
ACPI PCI hotplug: read addr=0x1105, val=0x00.
ACPI PCI hotplug: read addr=0x1105, val=0x00.
ACPI PCI hotplug: read addr=0x1105, val=0x00.
ACPI PCI hotplug: read addr=0x1105, val=0x00.
ACPI PCI hotplug: read addr=0x1106, val=0x00.
ACPI PCI hotplug: read addr=0x1106, val=0x00.
ACPI PCI hotplug: read addr=0x1106, val=0x00.
ACPI PCI hotplug: read addr=0x1106, val=0x00.
ACPI PCI hotplug: read addr=0x1107, val=0x00.
ACPI PCI hotplug: read addr=0x1107, val=0x00.
ACPI PCI hotplug: read addr=0x1107, val=0x00.
ACPI PCI hotplug: read addr=0x1107, val=0x00.
ACPI PCI hotplug: read addr=0x1108, val=0x00.
ACPI PCI hotplug: read addr=0x1108, val=0x00.
ACPI PCI hotplug: read addr=0x1108, val=0x00.
ACPI PCI hotplug: read addr=0x1108, val=0x00.
ACPI PCI hotplug: read addr=0x1109, val=0x00.
ACPI PCI hotplug: read addr=0x1109, val=0x00.
ACPI PCI hotplug: read addr=0x1109, val=0x00.
ACPI PCI hotplug: read addr=0x1109, val=0x00.
ACPI PCI hotplug: read addr=0x110a, val=0x00.
ACPI PCI hotplug: read addr=0x110a, val=0x00.
ACPI PCI hotplug: read addr=0x110a, val=0x00.
ACPI PCI hotplug: read addr=0x110a, val=0x00.
ACPI PCI hotplug: read addr=0x110b, val=0x00.
ACPI PCI hotplug: read addr=0x110b, val=0x00.
ACPI PCI hotplug: read addr=0x110b, val=0x00.
ACPI PCI hotplug: read addr=0x110b, val=0x00.
ACPI PCI hotplug: read addr=0x110c, val=0x00.
ACPI PCI hotplug: read addr=0x110c, val=0x00.
ACPI PCI hotplug: read addr=0x110c, val=0x00.
ACPI PCI hotplug: read addr=0x110c, val=0x00.
ACPI PCI hotplug: read addr=0x110d, val=0x00.
ACPI PCI hotplug: read addr=0x110d, val=0x00.
ACPI PCI hotplug: read addr=0x110d, val=0x00.
ACPI PCI hotplug: read addr=0x110d, val=0x00.
ACPI PCI hotplug: read addr=0x110e, val=0x00.
ACPI PCI hotplug: read addr=0x110e, val=0x00.
ACPI PCI hotplug: read addr=0x110e, val=0x00.
ACPI PCI hotplug: read addr=0x110e, val=0x00.
ACPI PCI hotplug: read addr=0x110f, val=0x00.
ACPI PCI hotplug: read addr=0x110f, val=0x00.
ACPI PCI hotplug: read addr=0x110f, val=0x00.
ACPI PCI hotplug: read addr=0x110f, val=0x00.
ACPI PCI hotplug: read addr=0x1110, val=0x00.
ACPI PCI hotplug: read addr=0x1110, val=0x00.
ACPI PCI hotplug: read addr=0x1110, val=0x00.
ACPI PCI hotplug: read addr=0x1110, val=0x00.
ACPI PCI hotplug: read addr=0x1111, val=0x00.
ACPI PCI hotplug: read addr=0x1111, val=0x00.
ACPI PCI hotplug: read addr=0x1111, val=0x00.
ACPI PCI hotplug: read addr=0x1111, val=0x00.
ACPI PCI hotplug: read addr=0x1112, val=0x00.
ACPI PCI hotplug: read addr=0x1112, val=0x00.
ACPI PCI hotplug: read addr=0x1112, val=0x00.
ACPI PCI hotplug: read addr=0x1112, val=0x00.
ACPI PCI hotplug: read addr=0x1113, val=0x00.
ACPI PCI hotplug: read addr=0x1113, val=0x00.
ACPI PCI hotplug: read addr=0x1113, val=0x00.
ACPI PCI hotplug: read addr=0x1113, val=0x00.
ACPI PCI hotplug: read addr=0x1114, val=0x00.
ACPI PCI hotplug: read addr=0x1114, val=0x00.
ACPI PCI hotplug: read addr=0x1114, val=0x00.
ACPI PCI hotplug: read addr=0x1114, val=0x00.
ACPI PCI hotplug: read addr=0x1115, val=0x00.
ACPI PCI hotplug: read addr=0x1115, val=0x00.
ACPI PCI hotplug: read addr=0x1115, val=0x00.
ACPI PCI hotplug: read addr=0x1115, val=0x00.
ACPI PCI hotplug: read addr=0x1116, val=0x00.
ACPI PCI hotplug: read addr=0x1116, val=0x00.
ACPI PCI hotplug: read addr=0x1116, val=0x00.
ACPI PCI hotplug: read addr=0x1116, val=0x00.
ACPI PCI hotplug: read addr=0x1117, val=0x00.
ACPI PCI hotplug: read addr=0x1117, val=0x00.
ACPI PCI hotplug: read addr=0x1117, val=0x00.
ACPI PCI hotplug: read addr=0x1117, val=0x00.
ACPI PCI hotplug: read addr=0x1118, val=0x00.
ACPI PCI hotplug: read addr=0x1118, val=0x00.
ACPI PCI hotplug: read addr=0x1118, val=0x00.
ACPI PCI hotplug: read addr=0x1118, val=0x00.
ACPI PCI hotplug: read addr=0x1119, val=0x00.
ACPI PCI hotplug: read addr=0x1119, val=0x00.
ACPI PCI hotplug: read addr=0x1119, val=0x00.
ACPI PCI hotplug: read addr=0x1119, val=0x00.
ACPI PCI hotplug: read addr=0x111a, val=0x00.
ACPI PCI hotplug: read addr=0x111a, val=0x00.
ACPI PCI hotplug: read addr=0x111a, val=0x00.
ACPI PCI hotplug: read addr=0x111a, val=0x00.
ACPI PCI hotplug: read addr=0x111b, val=0x00.
ACPI PCI hotplug: read addr=0x111b, val=0x00.
ACPI PCI hotplug: read addr=0x111b, val=0x00.
ACPI PCI hotplug: read addr=0x111b, val=0x00.
ACPI PCI hotplug: read addr=0x111c, val=0x00.
ACPI PCI hotplug: read addr=0x111c, val=0x00.
ACPI PCI hotplug: read addr=0x111c, val=0x00.
ACPI PCI hotplug: read addr=0x111c, val=0x00.
ACPI PCI hotplug: read addr=0x111d, val=0x00.
ACPI PCI hotplug: read addr=0x111d, val=0x00.
ACPI PCI hotplug: read addr=0x111d, val=0x00.
ACPI PCI hotplug: read addr=0x111d, val=0x00.
ACPI PCI hotplug: read addr=0x111e, val=0x00.
ACPI PCI hotplug: read addr=0x111e, val=0x00.
ACPI PCI hotplug: read addr=0x111e, val=0x00.
ACPI PCI hotplug: read addr=0x111e, val=0x00.
ACPI PCI hotplug: read addr=0x111f, val=0x00.
ACPI PCI hotplug: read addr=0x111f, val=0x00.
ACPI PCI hotplug: read addr=0x111f, val=0x00.
ACPI PCI hotplug: read addr=0x111f, val=0x00.
ACPI PCI hotplug: read addr=0x1120, val=0x00.
ACPI PCI hotplug: read addr=0x1120, val=0x00.
ACPI PCI hotplug: read addr=0x1120, val=0x00.
ACPI PCI hotplug: read addr=0x1120, val=0x00.
ACPI PCI hotplug: read addr=0x1121, val=0x00.
ACPI PCI hotplug: read addr=0x1121, val=0x00.
ACPI PCI hotplug: read addr=0x1121, val=0x00.
ACPI PCI hotplug: read addr=0x1121, val=0x00.
ACPI PCI hotplug: read addr=0x1122, val=0x00.
ACPI PCI hotplug: read addr=0x1122, val=0x00.
ACPI PCI hotplug: read addr=0x1122, val=0x00.
ACPI PCI hotplug: read addr=0x1122, val=0x00.
ACPI PCI hotplug: read addr=0x1123, val=0x00.
ACPI PCI hotplug: read addr=0x1123, val=0x00.
ACPI PCI hotplug: read addr=0x1123, val=0x00.
ACPI PCI hotplug: read addr=0x1123, val=0x00.
ACPI PCI hotplug: read addr=0x1124, val=0x00.
ACPI PCI hotplug: read addr=0x1124, val=0x00.
ACPI PCI hotplug: read addr=0x1124, val=0x00.
ACPI PCI hotplug: read addr=0x1124, val=0x00.
ACPI PCI hotplug: read addr=0x1125, val=0x00.
ACPI PCI hotplug: read addr=0x1125, val=0x00.
ACPI PCI hotplug: read addr=0x1125, val=0x00.
ACPI PCI hotplug: read addr=0x1125, val=0x00.
ACPI PCI hotplug: read addr=0x1126, val=0x00.
ACPI PCI hotplug: read addr=0x1126, val=0x00.
ACPI PCI hotplug: read addr=0x1126, val=0x00.
ACPI PCI hotplug: read addr=0x1126, val=0x00.
ACPI PCI hotplug: read addr=0x1127, val=0x00.
ACPI PCI hotplug: read addr=0x1127, val=0x00.
ACPI PCI hotplug: read addr=0x1127, val=0x00.
ACPI PCI hotplug: read addr=0x1127, val=0x00.
ACPI PCI hotplug: read addr=0x1128, val=0x00.
ACPI PCI hotplug: read addr=0x1128, val=0x00.
ACPI PCI hotplug: read addr=0x1128, val=0x00.
ACPI PCI hotplug: read addr=0x1128, val=0x00.
ACPI PCI hotplug: read addr=0x1129, val=0x00.
ACPI PCI hotplug: read addr=0x1129, val=0x00.
ACPI PCI hotplug: read addr=0x1129, val=0x00.
ACPI PCI hotplug: read addr=0x1129, val=0x00.
ACPI PCI hotplug: read addr=0x112a, val=0x00.
ACPI PCI hotplug: read addr=0x112a, val=0x00.
ACPI PCI hotplug: read addr=0x112a, val=0x00.
ACPI PCI hotplug: read addr=0x112a, val=0x00.
ACPI PCI hotplug: read addr=0x112b, val=0x00.
ACPI PCI hotplug: read addr=0x112b, val=0x00.
ACPI PCI hotplug: read addr=0x112b, val=0x00.
ACPI PCI hotplug: read addr=0x112b, val=0x00.
ACPI PCI hotplug: read addr=0x112c, val=0x00.
ACPI PCI hotplug: read addr=0x112c, val=0x00.
ACPI PCI hotplug: read addr=0x112c, val=0x00.
ACPI PCI hotplug: read addr=0x112c, val=0x00.
ACPI PCI hotplug: read addr=0x112d, val=0x00.
ACPI PCI hotplug: read addr=0x112d, val=0x00.
ACPI PCI hotplug: read addr=0x112d, val=0x00.
ACPI PCI hotplug: read addr=0x112d, val=0x00.
ACPI PCI hotplug: read addr=0x112e, val=0x00.
ACPI PCI hotplug: read addr=0x112e, val=0x00.
ACPI PCI hotplug: read addr=0x112e, val=0x00.
ACPI PCI hotplug: read addr=0x112e, val=0x00.
ACPI PCI hotplug: read addr=0x112f, val=0x00.
ACPI PCI hotplug: read addr=0x112f, val=0x00.
ACPI PCI hotplug: read addr=0x112f, val=0x00.
ACPI PCI hotplug: read addr=0x112f, val=0x00.
ACPI PCI hotplug: read addr=0x1130, val=0x00.
ACPI PCI hotplug: read addr=0x1130, val=0x00.
ACPI PCI hotplug: read addr=0x1130, val=0x00.
ACPI PCI hotplug: read addr=0x1130, val=0x00.
ACPI PCI hotplug: read addr=0x1131, val=0x00.
ACPI PCI hotplug: read addr=0x1131, val=0x00.
ACPI PCI hotplug: read addr=0x1131, val=0x00.
ACPI PCI hotplug: read addr=0x1131, val=0x00.
ACPI PCI hotplug: read addr=0x1132, val=0x00.
ACPI PCI hotplug: read addr=0x1132, val=0x00.
ACPI PCI hotplug: read addr=0x1132, val=0x00.
ACPI PCI hotplug: read addr=0x1132, val=0x00.
ACPI PCI hotplug: read addr=0x1133, val=0x00.
ACPI PCI hotplug: read addr=0x1133, val=0x00.
ACPI PCI hotplug: read addr=0x1133, val=0x00.
ACPI PCI hotplug: read addr=0x1133, val=0x00.
ACPI PCI hotplug: read addr=0x1134, val=0x00.
ACPI PCI hotplug: read addr=0x1134, val=0x00.
ACPI PCI hotplug: read addr=0x1134, val=0x00.
ACPI PCI hotplug: read addr=0x1134, val=0x00.
ACPI PCI hotplug: read addr=0x1135, val=0x00.
ACPI PCI hotplug: read addr=0x1135, val=0x00.
ACPI PCI hotplug: read addr=0x1135, val=0x00.
ACPI PCI hotplug: read addr=0x1135, val=0x00.
ACPI PCI hotplug: read addr=0x1136, val=0x00.
ACPI PCI hotplug: read addr=0x1136, val=0x00.
ACPI PCI hotplug: read addr=0x1136, val=0x00.
ACPI PCI hotplug: read addr=0x1136, val=0x00.
ACPI PCI hotplug: read addr=0x1137, val=0x00.
ACPI PCI hotplug: read addr=0x1137, val=0x00.
ACPI PCI hotplug: read addr=0x1137, val=0x00.
ACPI PCI hotplug: read addr=0x1137, val=0x00.
ACPI PCI hotplug: read addr=0x1138, val=0x00.
ACPI PCI hotplug: read addr=0x1138, val=0x00.
ACPI PCI hotplug: read addr=0x1138, val=0x00.
ACPI PCI hotplug: read addr=0x1138, val=0x00.
ACPI PCI hotplug: read addr=0x1139, val=0x00.
ACPI PCI hotplug: read addr=0x1139, val=0x00.
ACPI PCI hotplug: read addr=0x1139, val=0x00.
ACPI PCI hotplug: read addr=0x1139, val=0x00.
ACPI PCI hotplug: read addr=0x113a, val=0x00.
ACPI PCI hotplug: read addr=0x113a, val=0x00.
ACPI PCI hotplug: read addr=0x113a, val=0x00.
ACPI PCI hotplug: read addr=0x113a, val=0x00.
ACPI PCI hotplug: read addr=0x113b, val=0x00.
ACPI PCI hotplug: read addr=0x113b, val=0x00.
ACPI PCI hotplug: read addr=0x113b, val=0x00.
ACPI PCI hotplug: read addr=0x113b, val=0x00.
ACPI PCI hotplug: read addr=0x113c, val=0x00.
ACPI PCI hotplug: read addr=0x113c, val=0x00.
ACPI PCI hotplug: read addr=0x113c, val=0x00.
ACPI PCI hotplug: read addr=0x113c, val=0x00.
ACPI PCI hotplug: read addr=0x113d, val=0x00.
ACPI PCI hotplug: read addr=0x113d, val=0x00.
ACPI PCI hotplug: read addr=0x113d, val=0x00.
ACPI PCI hotplug: read addr=0x113d, val=0x00.
ACPI PCI hotplug: read addr=0x113e, val=0x00.
ACPI PCI hotplug: read addr=0x113e, val=0x00.
ACPI PCI hotplug: read addr=0x113e, val=0x00.
ACPI PCI hotplug: read addr=0x113e, val=0x00.
ACPI PCI hotplug: read addr=0x113f, val=0x00.
ACPI PCI hotplug: read addr=0x113f, val=0x00.
ACPI PCI hotplug: read addr=0x113f, val=0x00.
ACPI PCI hotplug: read addr=0x113f, val=0x00.
ACPI PCI hotplug: read addr=0x1140, val=0x00.
ACPI PCI hotplug: read addr=0x1140, val=0x00.
ACPI PCI hotplug: read addr=0x1140, val=0x00.
ACPI PCI hotplug: read addr=0x1140, val=0x00.
ACPI PCI hotplug: read addr=0x1141, val=0x00.
ACPI PCI hotplug: read addr=0x1141, val=0x00.
ACPI PCI hotplug: read addr=0x1141, val=0x00.
ACPI PCI hotplug: read addr=0x1141, val=0x00.
ACPI PCI hotplug: read addr=0x10c2, val=0x00.
ACPI PCI hotplug: read addr=0x10c2, val=0x00.
ACPI PCI hotplug: read addr=0x10c3, val=0x00.
ACPI PCI hotplug: read addr=0x10c3, val=0x00.
ACPI PCI hotplug: read addr=0x10c4, val=0x00.
ACPI PCI hotplug: read addr=0x10c4, val=0x00.
ACPI PCI hotplug: read addr=0x10c5, val=0x00.
ACPI PCI hotplug: read addr=0x10c5, val=0x00.
ACPI PCI hotplug: read addr=0x10c6, val=0x00.
ACPI PCI hotplug: read addr=0x10c6, val=0x00.
ACPI PCI hotplug: read addr=0x10c7, val=0x00.
ACPI PCI hotplug: read addr=0x10c7, val=0x00.
ACPI PCI hotplug: read addr=0x10c8, val=0x00.
ACPI PCI hotplug: read addr=0x10c8, val=0x00.
ACPI PCI hotplug: read addr=0x10c9, val=0x00.
ACPI PCI hotplug: read addr=0x10c9, val=0x00.
ACPI PCI hotplug: read addr=0x10ca, val=0x00.
ACPI PCI hotplug: read addr=0x10ca, val=0x00.
ACPI PCI hotplug: read addr=0x10cb, val=0x00.
ACPI PCI hotplug: read addr=0x10cb, val=0x00.
ACPI PCI hotplug: read addr=0x10cc, val=0x00.
ACPI PCI hotplug: read addr=0x10cc, val=0x00.
ACPI PCI hotplug: read addr=0x10cd, val=0x00.
ACPI PCI hotplug: read addr=0x10cd, val=0x00.
ACPI PCI hotplug: read addr=0x10ce, val=0x00.
ACPI PCI hotplug: read addr=0x10ce, val=0x00.
ACPI PCI hotplug: read addr=0x10cf, val=0x00.
ACPI PCI hotplug: read addr=0x10cf, val=0x00.
ACPI PCI hotplug: read addr=0x10d0, val=0x00.
ACPI PCI hotplug: read addr=0x10d0, val=0x00.
ACPI PCI hotplug: read addr=0x10d1, val=0x00.
ACPI PCI hotplug: read addr=0x10d1, val=0x00.
ACPI PCI hotplug: read addr=0x10d2, val=0x00.
ACPI PCI hotplug: read addr=0x10d2, val=0x00.
ACPI PCI hotplug: read addr=0x10d3, val=0x00.
ACPI PCI hotplug: read addr=0x10d3, val=0x00.
ACPI PCI hotplug: read addr=0x10d4, val=0x00.
ACPI PCI hotplug: read addr=0x10d4, val=0x00.
ACPI PCI hotplug: read addr=0x10d5, val=0x00.
ACPI PCI hotplug: read addr=0x10d5, val=0x00.
ACPI PCI hotplug: read addr=0x10d6, val=0x00.
ACPI PCI hotplug: read addr=0x10d6, val=0x00.
ACPI PCI hotplug: read addr=0x10d7, val=0x00.
ACPI PCI hotplug: read addr=0x10d7, val=0x00.
ACPI PCI hotplug: read addr=0x10d8, val=0x00.
ACPI PCI hotplug: read addr=0x10d8, val=0x00.
ACPI PCI hotplug: read addr=0x10d9, val=0x00.
ACPI PCI hotplug: read addr=0x10d9, val=0x00.
ACPI PCI hotplug: read addr=0x10da, val=0x00.
ACPI PCI hotplug: read addr=0x10da, val=0x00.
ACPI PCI hotplug: read addr=0x10db, val=0x00.
ACPI PCI hotplug: read addr=0x10db, val=0x00.
ACPI PCI hotplug: read addr=0x10dc, val=0x00.
ACPI PCI hotplug: read addr=0x10dc, val=0x00.
ACPI PCI hotplug: read addr=0x10dd, val=0x00.
ACPI PCI hotplug: read addr=0x10dd, val=0x00.
ACPI PCI hotplug: read addr=0x10de, val=0x00.
ACPI PCI hotplug: read addr=0x10de, val=0x00.
ACPI PCI hotplug: read addr=0x10df, val=0x00.
ACPI PCI hotplug: read addr=0x10df, val=0x00.
ACPI PCI hotplug: read addr=0x10e0, val=0x00.
ACPI PCI hotplug: read addr=0x10e0, val=0x00.
ACPI PCI hotplug: read addr=0x10e1, val=0x00.
ACPI PCI hotplug: read addr=0x10e1, val=0x00.
ACPI PCI hotplug: read addr=0x10e2, val=0x00.
ACPI PCI hotplug: read addr=0x10e2, val=0x00.
ACPI PCI hotplug: read addr=0x10e3, val=0x00.
ACPI PCI hotplug: read addr=0x10e3, val=0x00.
ACPI PCI hotplug: read addr=0x10e4, val=0x00.
ACPI PCI hotplug: read addr=0x10e4, val=0x00.
ACPI PCI hotplug: read addr=0x10e5, val=0x00.
ACPI PCI hotplug: read addr=0x10e5, val=0x00.
ACPI PCI hotplug: read addr=0x10e6, val=0x00.
ACPI PCI hotplug: read addr=0x10e6, val=0x00.
ACPI PCI hotplug: read addr=0x10e7, val=0x00.
ACPI PCI hotplug: read addr=0x10e7, val=0x00.
ACPI PCI hotplug: read addr=0x10e8, val=0x00.
ACPI PCI hotplug: read addr=0x10e8, val=0x00.
ACPI PCI hotplug: read addr=0x10e9, val=0x00.
ACPI PCI hotplug: read addr=0x10e9, val=0x00.
ACPI PCI hotplug: read addr=0x10ea, val=0x00.
ACPI PCI hotplug: read addr=0x10ea, val=0x00.
ACPI PCI hotplug: read addr=0x10eb, val=0x00.
ACPI PCI hotplug: read addr=0x10eb, val=0x00.
ACPI PCI hotplug: read addr=0x10ec, val=0x00.
ACPI PCI hotplug: read addr=0x10ec, val=0x00.
ACPI PCI hotplug: read addr=0x10ed, val=0x00.
ACPI PCI hotplug: read addr=0x10ed, val=0x00.
ACPI PCI hotplug: read addr=0x10ee, val=0x00.
ACPI PCI hotplug: read addr=0x10ee, val=0x00.
ACPI PCI hotplug: read addr=0x10ef, val=0x00.
ACPI PCI hotplug: read addr=0x10ef, val=0x00.
ACPI PCI hotplug: read addr=0x10f0, val=0x00.
ACPI PCI hotplug: read addr=0x10f0, val=0x00.
ACPI PCI hotplug: read addr=0x10f1, val=0x00.
ACPI PCI hotplug: read addr=0x10f1, val=0x00.
ACPI PCI hotplug: read addr=0x10f2, val=0x00.
ACPI PCI hotplug: read addr=0x10f2, val=0x00.
ACPI PCI hotplug: read addr=0x10f3, val=0x00.
ACPI PCI hotplug: read addr=0x10f3, val=0x00.
ACPI PCI hotplug: read addr=0x10f4, val=0x00.
ACPI PCI hotplug: read addr=0x10f4, val=0x00.
ACPI PCI hotplug: read addr=0x10f5, val=0x00.
ACPI PCI hotplug: read addr=0x10f5, val=0x00.
ACPI PCI hotplug: read addr=0x10f6, val=0x00.
ACPI PCI hotplug: read addr=0x10f6, val=0x00.
ACPI PCI hotplug: read addr=0x10f7, val=0x00.
ACPI PCI hotplug: read addr=0x10f7, val=0x00.
ACPI PCI hotplug: read addr=0x10f8, val=0x00.
ACPI PCI hotplug: read addr=0x10f8, val=0x00.
ACPI PCI hotplug: read addr=0x10f9, val=0x00.
ACPI PCI hotplug: read addr=0x10f9, val=0x00.
ACPI PCI hotplug: read addr=0x10fa, val=0x00.
ACPI PCI hotplug: read addr=0x10fa, val=0x00.
ACPI PCI hotplug: read addr=0x10fb, val=0x00.
ACPI PCI hotplug: read addr=0x10fb, val=0x00.
ACPI PCI hotplug: read addr=0x10fc, val=0x00.
ACPI PCI hotplug: read addr=0x10fc, val=0x00.
ACPI PCI hotplug: read addr=0x10fd, val=0x00.
ACPI PCI hotplug: read addr=0x10fd, val=0x00.
ACPI PCI hotplug: read addr=0x10fe, val=0x00.
ACPI PCI hotplug: read addr=0x10fe, val=0x00.
ACPI PCI hotplug: read addr=0x10ff, val=0x00.
ACPI PCI hotplug: read addr=0x10ff, val=0x00.
ACPI PCI hotplug: read addr=0x1100, val=0x00.
ACPI PCI hotplug: read addr=0x1100, val=0x00.
ACPI PCI hotplug: read addr=0x1101, val=0x00.
ACPI PCI hotplug: read addr=0x1101, val=0x00.
ACPI PCI hotplug: read addr=0x1102, val=0x00.
ACPI PCI hotplug: read addr=0x1102, val=0x00.
ACPI PCI hotplug: read addr=0x1103, val=0x00.
ACPI PCI hotplug: read addr=0x1103, val=0x00.
ACPI PCI hotplug: read addr=0x1104, val=0x00.
ACPI PCI hotplug: read addr=0x1104, val=0x00.
ACPI PCI hotplug: read addr=0x1105, val=0x00.
ACPI PCI hotplug: read addr=0x1105, val=0x00.
ACPI PCI hotplug: read addr=0x1106, val=0x00.
ACPI PCI hotplug: read addr=0x1106, val=0x00.
ACPI PCI hotplug: read addr=0x1107, val=0x00.
ACPI PCI hotplug: read addr=0x1107, val=0x00.
ACPI PCI hotplug: read addr=0x1108, val=0x00.
ACPI PCI hotplug: read addr=0x1108, val=0x00.
ACPI PCI hotplug: read addr=0x1109, val=0x00.
ACPI PCI hotplug: read addr=0x1109, val=0x00.
ACPI PCI hotplug: read addr=0x110a, val=0x00.
ACPI PCI hotplug: read addr=0x110a, val=0x00.
ACPI PCI hotplug: read addr=0x110b, val=0x00.
ACPI PCI hotplug: read addr=0x110b, val=0x00.
ACPI PCI hotplug: read addr=0x110c, val=0x00.
ACPI PCI hotplug: read addr=0x110c, val=0x00.
ACPI PCI hotplug: read addr=0x110d, val=0x00.
ACPI PCI hotplug: read addr=0x110d, val=0x00.
ACPI PCI hotplug: read addr=0x110e, val=0x00.
ACPI PCI hotplug: read addr=0x110e, val=0x00.
ACPI PCI hotplug: read addr=0x110f, val=0x00.
ACPI PCI hotplug: read addr=0x110f, val=0x00.
ACPI PCI hotplug: read addr=0x1110, val=0x00.
ACPI PCI hotplug: read addr=0x1110, val=0x00.
ACPI PCI hotplug: read addr=0x1111, val=0x00.
ACPI PCI hotplug: read addr=0x1111, val=0x00.
ACPI PCI hotplug: read addr=0x1112, val=0x00.
ACPI PCI hotplug: read addr=0x1112, val=0x00.
ACPI PCI hotplug: read addr=0x1113, val=0x00.
ACPI PCI hotplug: read addr=0x1113, val=0x00.
ACPI PCI hotplug: read addr=0x1114, val=0x00.
ACPI PCI hotplug: read addr=0x1114, val=0x00.
ACPI PCI hotplug: read addr=0x1115, val=0x00.
ACPI PCI hotplug: read addr=0x1115, val=0x00.
ACPI PCI hotplug: read addr=0x1116, val=0x00.
ACPI PCI hotplug: read addr=0x1116, val=0x00.
ACPI PCI hotplug: read addr=0x1117, val=0x00.
ACPI PCI hotplug: read addr=0x1117, val=0x00.
ACPI PCI hotplug: read addr=0x1118, val=0x00.
ACPI PCI hotplug: read addr=0x1118, val=0x00.
ACPI PCI hotplug: read addr=0x1119, val=0x00.
ACPI PCI hotplug: read addr=0x1119, val=0x00.
ACPI PCI hotplug: read addr=0x111a, val=0x00.
ACPI PCI hotplug: read addr=0x111a, val=0x00.
ACPI PCI hotplug: read addr=0x111b, val=0x00.
ACPI PCI hotplug: read addr=0x111b, val=0x00.
ACPI PCI hotplug: read addr=0x111c, val=0x00.
ACPI PCI hotplug: read addr=0x111c, val=0x00.
ACPI PCI hotplug: read addr=0x111d, val=0x00.
ACPI PCI hotplug: read addr=0x111d, val=0x00.
ACPI PCI hotplug: read addr=0x111e, val=0x00.
ACPI PCI hotplug: read addr=0x111e, val=0x00.
ACPI PCI hotplug: read addr=0x111f, val=0x00.
ACPI PCI hotplug: read addr=0x111f, val=0x00.
ACPI PCI hotplug: read addr=0x1120, val=0x00.
ACPI PCI hotplug: read addr=0x1120, val=0x00.
ACPI PCI hotplug: read addr=0x1121, val=0x00.
ACPI PCI hotplug: read addr=0x1121, val=0x00.
ACPI PCI hotplug: read addr=0x1122, val=0x00.
ACPI PCI hotplug: read addr=0x1122, val=0x00.
ACPI PCI hotplug: read addr=0x1123, val=0x00.
ACPI PCI hotplug: read addr=0x1123, val=0x00.
ACPI PCI hotplug: read addr=0x1124, val=0x00.
ACPI PCI hotplug: read addr=0x1124, val=0x00.
ACPI PCI hotplug: read addr=0x1125, val=0x00.
ACPI PCI hotplug: read addr=0x1125, val=0x00.
ACPI PCI hotplug: read addr=0x1126, val=0x00.
ACPI PCI hotplug: read addr=0x1126, val=0x00.
ACPI PCI hotplug: read addr=0x1127, val=0x00.
ACPI PCI hotplug: read addr=0x1127, val=0x00.
ACPI PCI hotplug: read addr=0x1128, val=0x00.
ACPI PCI hotplug: read addr=0x1128, val=0x00.
ACPI PCI hotplug: read addr=0x1129, val=0x00.
ACPI PCI hotplug: read addr=0x1129, val=0x00.
ACPI PCI hotplug: read addr=0x112a, val=0x00.
ACPI PCI hotplug: read addr=0x112a, val=0x00.
ACPI PCI hotplug: read addr=0x112b, val=0x00.
ACPI PCI hotplug: read addr=0x112b, val=0x00.
ACPI PCI hotplug: read addr=0x112c, val=0x00.
ACPI PCI hotplug: read addr=0x112c, val=0x00.
ACPI PCI hotplug: read addr=0x112d, val=0x00.
ACPI PCI hotplug: read addr=0x112d, val=0x00.
ACPI PCI hotplug: read addr=0x112e, val=0x00.
ACPI PCI hotplug: read addr=0x112e, val=0x00.
ACPI PCI hotplug: read addr=0x112f, val=0x00.
ACPI PCI hotplug: read addr=0x112f, val=0x00.
ACPI PCI hotplug: read addr=0x1130, val=0x00.
ACPI PCI hotplug: read addr=0x1130, val=0x00.
ACPI PCI hotplug: read addr=0x1131, val=0x00.
ACPI PCI hotplug: read addr=0x1131, val=0x00.
ACPI PCI hotplug: read addr=0x1132, val=0x00.
ACPI PCI hotplug: read addr=0x1132, val=0x00.
ACPI PCI hotplug: read addr=0x1133, val=0x00.
ACPI PCI hotplug: read addr=0x1133, val=0x00.
ACPI PCI hotplug: read addr=0x1134, val=0x00.
ACPI PCI hotplug: read addr=0x1134, val=0x00.
ACPI PCI hotplug: read addr=0x1135, val=0x00.
ACPI PCI hotplug: read addr=0x1135, val=0x00.
ACPI PCI hotplug: read addr=0x1136, val=0x00.
ACPI PCI hotplug: read addr=0x1136, val=0x00.
ACPI PCI hotplug: read addr=0x1137, val=0x00.
ACPI PCI hotplug: read addr=0x1137, val=0x00.
ACPI PCI hotplug: read addr=0x1138, val=0x00.
ACPI PCI hotplug: read addr=0x1138, val=0x00.
ACPI PCI hotplug: read addr=0x1139, val=0x00.
ACPI PCI hotplug: read addr=0x1139, val=0x00.
ACPI PCI hotplug: read addr=0x113a, val=0x00.
ACPI PCI hotplug: read addr=0x113a, val=0x00.
ACPI PCI hotplug: read addr=0x113b, val=0x00.
ACPI PCI hotplug: read addr=0x113b, val=0x00.
ACPI PCI hotplug: read addr=0x113c, val=0x00.
ACPI PCI hotplug: read addr=0x113c, val=0x00.
ACPI PCI hotplug: read addr=0x113d, val=0x00.
ACPI PCI hotplug: read addr=0x113d, val=0x00.
ACPI PCI hotplug: read addr=0x113e, val=0x00.
ACPI PCI hotplug: read addr=0x113e, val=0x00.
ACPI PCI hotplug: read addr=0x113f, val=0x00.
ACPI PCI hotplug: read addr=0x113f, val=0x00.
ACPI PCI hotplug: read addr=0x1140, val=0x00.
ACPI PCI hotplug: read addr=0x1140, val=0x00.
ACPI PCI hotplug: read addr=0x1141, val=0x00.
ACPI PCI hotplug: read addr=0x1141, val=0x00.
gpe_sts_write: addr=0xafe0, val=0x4.
gpe_en_write: addr=0xafe2, val=0x4.
gpe_sts_write: addr=0xafe0, val=0x8.
gpe_en_write: addr=0xafe2, val=0xc.
ACPI PCI hotplug: read addr=0x10c2, val=0x00.
ACPI PCI hotplug: read addr=0x10c2, val=0x00.
ACPI PCI hotplug: read addr=0x10c3, val=0x00.
ACPI PCI hotplug: read addr=0x10c3, val=0x00.
ACPI PCI hotplug: read addr=0x10c4, val=0x00.
ACPI PCI hotplug: read addr=0x10c4, val=0x00.
ACPI PCI hotplug: read addr=0x10c5, val=0x00.
ACPI PCI hotplug: read addr=0x10c5, val=0x00.
ACPI PCI hotplug: read addr=0x10c6, val=0x00.
ACPI PCI hotplug: read addr=0x10c6, val=0x00.
ACPI PCI hotplug: read addr=0x10c7, val=0x00.
ACPI PCI hotplug: read addr=0x10c7, val=0x00.
ACPI PCI hotplug: read addr=0x10c8, val=0x00.
ACPI PCI hotplug: read addr=0x10c8, val=0x00.
ACPI PCI hotplug: read addr=0x10c9, val=0x00.
ACPI PCI hotplug: read addr=0x10c9, val=0x00.
ACPI PCI hotplug: read addr=0x10ca, val=0x00.
ACPI PCI hotplug: read addr=0x10ca, val=0x00.
ACPI PCI hotplug: read addr=0x10cb, val=0x00.
ACPI PCI hotplug: read addr=0x10cb, val=0x00.
ACPI PCI hotplug: read addr=0x10cc, val=0x00.
ACPI PCI hotplug: read addr=0x10cc, val=0x00.
ACPI PCI hotplug: read addr=0x10cd, val=0x00.
ACPI PCI hotplug: read addr=0x10cd, val=0x00.
ACPI PCI hotplug: read addr=0x10ce, val=0x00.
ACPI PCI hotplug: read addr=0x10ce, val=0x00.
ACPI PCI hotplug: read addr=0x10cf, val=0x00.
ACPI PCI hotplug: read addr=0x10cf, val=0x00.
ACPI PCI hotplug: read addr=0x10d0, val=0x00.
ACPI PCI hotplug: read addr=0x10d0, val=0x00.
ACPI PCI hotplug: read addr=0x10d1, val=0x00.
ACPI PCI hotplug: read addr=0x10d1, val=0x00.
ACPI PCI hotplug: read addr=0x10d2, val=0x00.
ACPI PCI hotplug: read addr=0x10d2, val=0x00.
ACPI PCI hotplug: read addr=0x10d3, val=0x00.
ACPI PCI hotplug: read addr=0x10d3, val=0x00.
ACPI PCI hotplug: read addr=0x10d4, val=0x00.
ACPI PCI hotplug: read addr=0x10d4, val=0x00.
ACPI PCI hotplug: read addr=0x10d5, val=0x00.
ACPI PCI hotplug: read addr=0x10d5, val=0x00.
ACPI PCI hotplug: read addr=0x10d6, val=0x00.
ACPI PCI hotplug: read addr=0x10d6, val=0x00.
ACPI PCI hotplug: read addr=0x10d7, val=0x00.
ACPI PCI hotplug: read addr=0x10d7, val=0x00.
ACPI PCI hotplug: read addr=0x10d8, val=0x00.
ACPI PCI hotplug: read addr=0x10d8, val=0x00.
ACPI PCI hotplug: read addr=0x10d9, val=0x00.
ACPI PCI hotplug: read addr=0x10d9, val=0x00.
ACPI PCI hotplug: read addr=0x10da, val=0x00.
ACPI PCI hotplug: read addr=0x10da, val=0x00.
ACPI PCI hotplug: read addr=0x10db, val=0x00.
ACPI PCI hotplug: read addr=0x10db, val=0x00.
ACPI PCI hotplug: read addr=0x10dc, val=0x00.
ACPI PCI hotplug: read addr=0x10dc, val=0x00.
ACPI PCI hotplug: read addr=0x10dd, val=0x00.
ACPI PCI hotplug: read addr=0x10dd, val=0x00.
ACPI PCI hotplug: read addr=0x10de, val=0x00.
ACPI PCI hotplug: read addr=0x10de, val=0x00.
ACPI PCI hotplug: read addr=0x10df, val=0x00.
ACPI PCI hotplug: read addr=0x10df, val=0x00.
ACPI PCI hotplug: read addr=0x10e0, val=0x00.
ACPI PCI hotplug: read addr=0x10e0, val=0x00.
ACPI PCI hotplug: read addr=0x10e1, val=0x00.
ACPI PCI hotplug: read addr=0x10e1, val=0x00.
ACPI PCI hotplug: read addr=0x10e2, val=0x00.
ACPI PCI hotplug: read addr=0x10e2, val=0x00.
ACPI PCI hotplug: read addr=0x10e3, val=0x00.
ACPI PCI hotplug: read addr=0x10e3, val=0x00.
ACPI PCI hotplug: read addr=0x10e4, val=0x00.
ACPI PCI hotplug: read addr=0x10e4, val=0x00.
ACPI PCI hotplug: read addr=0x10e5, val=0x00.
ACPI PCI hotplug: read addr=0x10e5, val=0x00.
ACPI PCI hotplug: read addr=0x10e6, val=0x00.
ACPI PCI hotplug: read addr=0x10e6, val=0x00.
ACPI PCI hotplug: read addr=0x10e7, val=0x00.
ACPI PCI hotplug: read addr=0x10e7, val=0x00.
ACPI PCI hotplug: read addr=0x10e8, val=0x00.
ACPI PCI hotplug: read addr=0x10e8, val=0x00.
ACPI PCI hotplug: read addr=0x10e9, val=0x00.
ACPI PCI hotplug: read addr=0x10e9, val=0x00.
ACPI PCI hotplug: read addr=0x10ea, val=0x00.
ACPI PCI hotplug: read addr=0x10ea, val=0x00.
ACPI PCI hotplug: read addr=0x10eb, val=0x00.
ACPI PCI hotplug: read addr=0x10eb, val=0x00.
ACPI PCI hotplug: read addr=0x10ec, val=0x00.
ACPI PCI hotplug: read addr=0x10ec, val=0x00.
ACPI PCI hotplug: read addr=0x10ed, val=0x00.
ACPI PCI hotplug: read addr=0x10ed, val=0x00.
ACPI PCI hotplug: read addr=0x10ee, val=0x00.
ACPI PCI hotplug: read addr=0x10ee, val=0x00.
ACPI PCI hotplug: read addr=0x10ef, val=0x00.
ACPI PCI hotplug: read addr=0x10ef, val=0x00.
ACPI PCI hotplug: read addr=0x10f0, val=0x00.
ACPI PCI hotplug: read addr=0x10f0, val=0x00.
ACPI PCI hotplug: read addr=0x10f1, val=0x00.
ACPI PCI hotplug: read addr=0x10f1, val=0x00.
ACPI PCI hotplug: read addr=0x10f2, val=0x00.
ACPI PCI hotplug: read addr=0x10f2, val=0x00.
ACPI PCI hotplug: read addr=0x10f3, val=0x00.
ACPI PCI hotplug: read addr=0x10f3, val=0x00.
ACPI PCI hotplug: read addr=0x10f4, val=0x00.
ACPI PCI hotplug: read addr=0x10f4, val=0x00.
ACPI PCI hotplug: read addr=0x10f5, val=0x00.
ACPI PCI hotplug: read addr=0x10f5, val=0x00.
ACPI PCI hotplug: read addr=0x10f6, val=0x00.
ACPI PCI hotplug: read addr=0x10f6, val=0x00.
ACPI PCI hotplug: read addr=0x10f7, val=0x00.
ACPI PCI hotplug: read addr=0x10f7, val=0x00.
ACPI PCI hotplug: read addr=0x10f8, val=0x00.
ACPI PCI hotplug: read addr=0x10f8, val=0x00.
ACPI PCI hotplug: read addr=0x10f9, val=0x00.
ACPI PCI hotplug: read addr=0x10f9, val=0x00.
ACPI PCI hotplug: read addr=0x10fa, val=0x00.
ACPI PCI hotplug: read addr=0x10fa, val=0x00.
ACPI PCI hotplug: read addr=0x10fb, val=0x00.
ACPI PCI hotplug: read addr=0x10fb, val=0x00.
ACPI PCI hotplug: read addr=0x10fc, val=0x00.
ACPI PCI hotplug: read addr=0x10fc, val=0x00.
ACPI PCI hotplug: read addr=0x10fd, val=0x00.
ACPI PCI hotplug: read addr=0x10fd, val=0x00.
ACPI PCI hotplug: read addr=0x10fe, val=0x00.
ACPI PCI hotplug: read addr=0x10fe, val=0x00.
ACPI PCI hotplug: read addr=0x10ff, val=0x00.
ACPI PCI hotplug: read addr=0x10ff, val=0x00.
ACPI PCI hotplug: read addr=0x1100, val=0x00.
ACPI PCI hotplug: read addr=0x1100, val=0x00.
ACPI PCI hotplug: read addr=0x1101, val=0x00.
ACPI PCI hotplug: read addr=0x1101, val=0x00.
ACPI PCI hotplug: read addr=0x1102, val=0x00.
ACPI PCI hotplug: read addr=0x1102, val=0x00.
ACPI PCI hotplug: read addr=0x1103, val=0x00.
ACPI PCI hotplug: read addr=0x1103, val=0x00.
ACPI PCI hotplug: read addr=0x1104, val=0x00.
ACPI PCI hotplug: read addr=0x1104, val=0x00.
ACPI PCI hotplug: read addr=0x1105, val=0x00.
ACPI PCI hotplug: read addr=0x1105, val=0x00.
ACPI PCI hotplug: read addr=0x1106, val=0x00.
ACPI PCI hotplug: read addr=0x1106, val=0x00.
ACPI PCI hotplug: read addr=0x1107, val=0x00.
ACPI PCI hotplug: read addr=0x1107, val=0x00.
ACPI PCI hotplug: read addr=0x1108, val=0x00.
ACPI PCI hotplug: read addr=0x1108, val=0x00.
ACPI PCI hotplug: read addr=0x1109, val=0x00.
ACPI PCI hotplug: read addr=0x1109, val=0x00.
ACPI PCI hotplug: read addr=0x110a, val=0x00.
ACPI PCI hotplug: read addr=0x110a, val=0x00.
ACPI PCI hotplug: read addr=0x110b, val=0x00.
ACPI PCI hotplug: read addr=0x110b, val=0x00.
ACPI PCI hotplug: read addr=0x110c, val=0x00.
ACPI PCI hotplug: read addr=0x110c, val=0x00.
ACPI PCI hotplug: read addr=0x110d, val=0x00.
ACPI PCI hotplug: read addr=0x110d, val=0x00.
ACPI PCI hotplug: read addr=0x110e, val=0x00.
ACPI PCI hotplug: read addr=0x110e, val=0x00.
ACPI PCI hotplug: read addr=0x110f, val=0x00.
ACPI PCI hotplug: read addr=0x110f, val=0x00.
ACPI PCI hotplug: read addr=0x1110, val=0x00.
ACPI PCI hotplug: read addr=0x1110, val=0x00.
ACPI PCI hotplug: read addr=0x1111, val=0x00.
ACPI PCI hotplug: read addr=0x1111, val=0x00.
ACPI PCI hotplug: read addr=0x1112, val=0x00.
ACPI PCI hotplug: read addr=0x1112, val=0x00.
ACPI PCI hotplug: read addr=0x1113, val=0x00.
ACPI PCI hotplug: read addr=0x1113, val=0x00.
ACPI PCI hotplug: read addr=0x1114, val=0x00.
ACPI PCI hotplug: read addr=0x1114, val=0x00.
ACPI PCI hotplug: read addr=0x1115, val=0x00.
ACPI PCI hotplug: read addr=0x1115, val=0x00.
ACPI PCI hotplug: read addr=0x1116, val=0x00.
ACPI PCI hotplug: read addr=0x1116, val=0x00.
ACPI PCI hotplug: read addr=0x1117, val=0x00.
ACPI PCI hotplug: read addr=0x1117, val=0x00.
ACPI PCI hotplug: read addr=0x1118, val=0x00.
ACPI PCI hotplug: read addr=0x1118, val=0x00.
ACPI PCI hotplug: read addr=0x1119, val=0x00.
ACPI PCI hotplug: read addr=0x1119, val=0x00.
ACPI PCI hotplug: read addr=0x111a, val=0x00.
ACPI PCI hotplug: read addr=0x111a, val=0x00.
ACPI PCI hotplug: read addr=0x111b, val=0x00.
ACPI PCI hotplug: read addr=0x111b, val=0x00.
ACPI PCI hotplug: read addr=0x111c, val=0x00.
ACPI PCI hotplug: read addr=0x111c, val=0x00.
ACPI PCI hotplug: read addr=0x111d, val=0x00.
ACPI PCI hotplug: read addr=0x111d, val=0x00.
ACPI PCI hotplug: read addr=0x111e, val=0x00.
ACPI PCI hotplug: read addr=0x111e, val=0x00.
ACPI PCI hotplug: read addr=0x111f, val=0x00.
ACPI PCI hotplug: read addr=0x111f, val=0x00.
ACPI PCI hotplug: read addr=0x1120, val=0x00.
ACPI PCI hotplug: read addr=0x1120, val=0x00.
ACPI PCI hotplug: read addr=0x1121, val=0x00.
ACPI PCI hotplug: read addr=0x1121, val=0x00.
ACPI PCI hotplug: read addr=0x1122, val=0x00.
ACPI PCI hotplug: read addr=0x1122, val=0x00.
ACPI PCI hotplug: read addr=0x1123, val=0x00.
ACPI PCI hotplug: read addr=0x1123, val=0x00.
ACPI PCI hotplug: read addr=0x1124, val=0x00.
ACPI PCI hotplug: read addr=0x1124, val=0x00.
ACPI PCI hotplug: read addr=0x1125, val=0x00.
ACPI PCI hotplug: read addr=0x1125, val=0x00.
ACPI PCI hotplug: read addr=0x1126, val=0x00.
ACPI PCI hotplug: read addr=0x1126, val=0x00.
ACPI PCI hotplug: read addr=0x1127, val=0x00.
ACPI PCI hotplug: read addr=0x1127, val=0x00.
ACPI PCI hotplug: read addr=0x1128, val=0x00.
ACPI PCI hotplug: read addr=0x1128, val=0x00.
ACPI PCI hotplug: read addr=0x1129, val=0x00.
ACPI PCI hotplug: read addr=0x1129, val=0x00.
ACPI PCI hotplug: read addr=0x112a, val=0x00.
ACPI PCI hotplug: read addr=0x112a, val=0x00.
ACPI PCI hotplug: read addr=0x112b, val=0x00.
ACPI PCI hotplug: read addr=0x112b, val=0x00.
ACPI PCI hotplug: read addr=0x112c, val=0x00.
ACPI PCI hotplug: read addr=0x112c, val=0x00.
ACPI PCI hotplug: read addr=0x112d, val=0x00.
ACPI PCI hotplug: read addr=0x112d, val=0x00.
ACPI PCI hotplug: read addr=0x112e, val=0x00.
ACPI PCI hotplug: read addr=0x112e, val=0x00.
ACPI PCI hotplug: read addr=0x112f, val=0x00.
ACPI PCI hotplug: read addr=0x112f, val=0x00.
ACPI PCI hotplug: read addr=0x1130, val=0x00.
ACPI PCI hotplug: read addr=0x1130, val=0x00.
ACPI PCI hotplug: read addr=0x1131, val=0x00.
ACPI PCI hotplug: read addr=0x1131, val=0x00.
ACPI PCI hotplug: read addr=0x1132, val=0x00.
ACPI PCI hotplug: read addr=0x1132, val=0x00.
ACPI PCI hotplug: read addr=0x1133, val=0x00.
ACPI PCI hotplug: read addr=0x1133, val=0x00.
ACPI PCI hotplug: read addr=0x1134, val=0x00.
ACPI PCI hotplug: read addr=0x1134, val=0x00.
ACPI PCI hotplug: read addr=0x1135, val=0x00.
ACPI PCI hotplug: read addr=0x1135, val=0x00.
ACPI PCI hotplug: read addr=0x1136, val=0x00.
ACPI PCI hotplug: read addr=0x1136, val=0x00.
ACPI PCI hotplug: read addr=0x1137, val=0x00.
ACPI PCI hotplug: read addr=0x1137, val=0x00.
ACPI PCI hotplug: read addr=0x1138, val=0x00.
ACPI PCI hotplug: read addr=0x1138, val=0x00.
ACPI PCI hotplug: read addr=0x1139, val=0x00.
ACPI PCI hotplug: read addr=0x1139, val=0x00.
ACPI PCI hotplug: read addr=0x113a, val=0x00.
ACPI PCI hotplug: read addr=0x113a, val=0x00.
ACPI PCI hotplug: read addr=0x113b, val=0x00.
ACPI PCI hotplug: read addr=0x113b, val=0x00.
ACPI PCI hotplug: read addr=0x113c, val=0x00.
ACPI PCI hotplug: read addr=0x113c, val=0x00.
ACPI PCI hotplug: read addr=0x113d, val=0x00.
ACPI PCI hotplug: read addr=0x113d, val=0x00.
ACPI PCI hotplug: read addr=0x113e, val=0x00.
ACPI PCI hotplug: read addr=0x113e, val=0x00.
ACPI PCI hotplug: read addr=0x113f, val=0x00.
ACPI PCI hotplug: read addr=0x113f, val=0x00.
ACPI PCI hotplug: read addr=0x1140, val=0x00.
ACPI PCI hotplug: read addr=0x1140, val=0x00.
ACPI PCI hotplug: read addr=0x1141, val=0x00.
ACPI PCI hotplug: read addr=0x1141, val=0x00.
ACPI PCI hotplug: read addr=0x10c2, val=0x00.
ACPI PCI hotplug: read addr=0x10c2, val=0x00.
ACPI PCI hotplug: read addr=0x10c3, val=0x00.
ACPI PCI hotplug: read addr=0x10c3, val=0x00.
ACPI PCI hotplug: read addr=0x10c4, val=0x00.
ACPI PCI hotplug: read addr=0x10c4, val=0x00.
ACPI PCI hotplug: read addr=0x10c5, val=0x00.
ACPI PCI hotplug: read addr=0x10c5, val=0x00.
ACPI PCI hotplug: read addr=0x10c6, val=0x00.
ACPI PCI hotplug: read addr=0x10c6, val=0x00.
ACPI PCI hotplug: read addr=0x10c7, val=0x00.
ACPI PCI hotplug: read addr=0x10c7, val=0x00.
ACPI PCI hotplug: read addr=0x10c8, val=0x00.
ACPI PCI hotplug: read addr=0x10c8, val=0x00.
ACPI PCI hotplug: read addr=0x10c9, val=0x00.
ACPI PCI hotplug: read addr=0x10c9, val=0x00.
ACPI PCI hotplug: read addr=0x10ca, val=0x00.
ACPI PCI hotplug: read addr=0x10ca, val=0x00.
ACPI PCI hotplug: read addr=0x10cb, val=0x00.
ACPI PCI hotplug: read addr=0x10cb, val=0x00.
ACPI PCI hotplug: read addr=0x10cc, val=0x00.
ACPI PCI hotplug: read addr=0x10cc, val=0x00.
ACPI PCI hotplug: read addr=0x10cd, val=0x00.
ACPI PCI hotplug: read addr=0x10cd, val=0x00.
ACPI PCI hotplug: read addr=0x10ce, val=0x00.
ACPI PCI hotplug: read addr=0x10ce, val=0x00.
ACPI PCI hotplug: read addr=0x10cf, val=0x00.
ACPI PCI hotplug: read addr=0x10cf, val=0x00.
ACPI PCI hotplug: read addr=0x10d0, val=0x00.
ACPI PCI hotplug: read addr=0x10d0, val=0x00.
ACPI PCI hotplug: read addr=0x10d1, val=0x00.
ACPI PCI hotplug: read addr=0x10d1, val=0x00.
ACPI PCI hotplug: read addr=0x10d2, val=0x00.
ACPI PCI hotplug: read addr=0x10d2, val=0x00.
ACPI PCI hotplug: read addr=0x10d3, val=0x00.
ACPI PCI hotplug: read addr=0x10d3, val=0x00.
ACPI PCI hotplug: read addr=0x10d4, val=0x00.
ACPI PCI hotplug: read addr=0x10d4, val=0x00.
ACPI PCI hotplug: read addr=0x10d5, val=0x00.
ACPI PCI hotplug: read addr=0x10d5, val=0x00.
ACPI PCI hotplug: read addr=0x10d6, val=0x00.
ACPI PCI hotplug: read addr=0x10d6, val=0x00.
ACPI PCI hotplug: read addr=0x10d7, val=0x00.
ACPI PCI hotplug: read addr=0x10d7, val=0x00.
ACPI PCI hotplug: read addr=0x10d8, val=0x00.
ACPI PCI hotplug: read addr=0x10d8, val=0x00.
ACPI PCI hotplug: read addr=0x10d9, val=0x00.
ACPI PCI hotplug: read addr=0x10d9, val=0x00.
ACPI PCI hotplug: read addr=0x10da, val=0x00.
ACPI PCI hotplug: read addr=0x10da, val=0x00.
ACPI PCI hotplug: read addr=0x10db, val=0x00.
ACPI PCI hotplug: read addr=0x10db, val=0x00.
ACPI PCI hotplug: read addr=0x10dc, val=0x00.
ACPI PCI hotplug: read addr=0x10dc, val=0x00.
ACPI PCI hotplug: read addr=0x10dd, val=0x00.
ACPI PCI hotplug: read addr=0x10dd, val=0x00.
ACPI PCI hotplug: read addr=0x10de, val=0x00.
ACPI PCI hotplug: read addr=0x10de, val=0x00.
ACPI PCI hotplug: read addr=0x10df, val=0x00.
ACPI PCI hotplug: read addr=0x10df, val=0x00.
ACPI PCI hotplug: read addr=0x10e0, val=0x00.
ACPI PCI hotplug: read addr=0x10e0, val=0x00.
ACPI PCI hotplug: read addr=0x10e1, val=0x00.
ACPI PCI hotplug: read addr=0x10e1, val=0x00.
ACPI PCI hotplug: read addr=0x10e2, val=0x00.
ACPI PCI hotplug: read addr=0x10e2, val=0x00.
ACPI PCI hotplug: read addr=0x10e3, val=0x00.
ACPI PCI hotplug: read addr=0x10e3, val=0x00.
ACPI PCI hotplug: read addr=0x10e4, val=0x00.
ACPI PCI hotplug: read addr=0x10e4, val=0x00.
ACPI PCI hotplug: read addr=0x10e5, val=0x00.
ACPI PCI hotplug: read addr=0x10e5, val=0x00.
ACPI PCI hotplug: read addr=0x10e6, val=0x00.
ACPI PCI hotplug: read addr=0x10e6, val=0x00.
ACPI PCI hotplug: read addr=0x10e7, val=0x00.
ACPI PCI hotplug: read addr=0x10e7, val=0x00.
ACPI PCI hotplug: read addr=0x10e8, val=0x00.
ACPI PCI hotplug: read addr=0x10e8, val=0x00.
ACPI PCI hotplug: read addr=0x10e9, val=0x00.
ACPI PCI hotplug: read addr=0x10e9, val=0x00.
ACPI PCI hotplug: read addr=0x10ea, val=0x00.
ACPI PCI hotplug: read addr=0x10ea, val=0x00.
ACPI PCI hotplug: read addr=0x10eb, val=0x00.
ACPI PCI hotplug: read addr=0x10eb, val=0x00.
ACPI PCI hotplug: read addr=0x10ec, val=0x00.
ACPI PCI hotplug: read addr=0x10ec, val=0x00.
ACPI PCI hotplug: read addr=0x10ed, val=0x00.
ACPI PCI hotplug: read addr=0x10ed, val=0x00.
ACPI PCI hotplug: read addr=0x10ee, val=0x00.
ACPI PCI hotplug: read addr=0x10ee, val=0x00.
ACPI PCI hotplug: read addr=0x10ef, val=0x00.
ACPI PCI hotplug: read addr=0x10ef, val=0x00.
ACPI PCI hotplug: read addr=0x10f0, val=0x00.
ACPI PCI hotplug: read addr=0x10f0, val=0x00.
ACPI PCI hotplug: read addr=0x10f1, val=0x00.
ACPI PCI hotplug: read addr=0x10f1, val=0x00.
ACPI PCI hotplug: read addr=0x10f2, val=0x00.
ACPI PCI hotplug: read addr=0x10f2, val=0x00.
ACPI PCI hotplug: read addr=0x10f3, val=0x00.
ACPI PCI hotplug: read addr=0x10f3, val=0x00.
ACPI PCI hotplug: read addr=0x10f4, val=0x00.
ACPI PCI hotplug: read addr=0x10f4, val=0x00.
ACPI PCI hotplug: read addr=0x10f5, val=0x00.
ACPI PCI hotplug: read addr=0x10f5, val=0x00.
ACPI PCI hotplug: read addr=0x10f6, val=0x00.
ACPI PCI hotplug: read addr=0x10f6, val=0x00.
ACPI PCI hotplug: read addr=0x10f7, val=0x00.
ACPI PCI hotplug: read addr=0x10f7, val=0x00.
ACPI PCI hotplug: read addr=0x10f8, val=0x00.
ACPI PCI hotplug: read addr=0x10f8, val=0x00.
ACPI PCI hotplug: read addr=0x10f9, val=0x00.
ACPI PCI hotplug: read addr=0x10f9, val=0x00.
ACPI PCI hotplug: read addr=0x10fa, val=0x00.
ACPI PCI hotplug: read addr=0x10fa, val=0x00.
ACPI PCI hotplug: read addr=0x10fb, val=0x00.
ACPI PCI hotplug: read addr=0x10fb, val=0x00.
ACPI PCI hotplug: read addr=0x10fc, val=0x00.
ACPI PCI hotplug: read addr=0x10fc, val=0x00.
ACPI PCI hotplug: read addr=0x10fd, val=0x00.
ACPI PCI hotplug: read addr=0x10fd, val=0x00.
ACPI PCI hotplug: read addr=0x10fe, val=0x00.
ACPI PCI hotplug: read addr=0x10fe, val=0x00.
ACPI PCI hotplug: read addr=0x10ff, val=0x00.
ACPI PCI hotplug: read addr=0x10ff, val=0x00.
ACPI PCI hotplug: read addr=0x1100, val=0x00.
ACPI PCI hotplug: read addr=0x1100, val=0x00.
ACPI PCI hotplug: read addr=0x1101, val=0x00.
ACPI PCI hotplug: read addr=0x1101, val=0x00.
ACPI PCI hotplug: read addr=0x1102, val=0x00.
ACPI PCI hotplug: read addr=0x1102, val=0x00.
ACPI PCI hotplug: read addr=0x1103, val=0x00.
ACPI PCI hotplug: read addr=0x1103, val=0x00.
ACPI PCI hotplug: read addr=0x1104, val=0x00.
ACPI PCI hotplug: read addr=0x1104, val=0x00.
ACPI PCI hotplug: read addr=0x1105, val=0x00.
ACPI PCI hotplug: read addr=0x1105, val=0x00.
ACPI PCI hotplug: read addr=0x1106, val=0x00.
ACPI PCI hotplug: read addr=0x1106, val=0x00.
ACPI PCI hotplug: read addr=0x1107, val=0x00.
ACPI PCI hotplug: read addr=0x1107, val=0x00.
ACPI PCI hotplug: read addr=0x1108, val=0x00.
ACPI PCI hotplug: read addr=0x1108, val=0x00.
ACPI PCI hotplug: read addr=0x1109, val=0x00.
ACPI PCI hotplug: read addr=0x1109, val=0x00.
ACPI PCI hotplug: read addr=0x110a, val=0x00.
ACPI PCI hotplug: read addr=0x110a, val=0x00.
ACPI PCI hotplug: read addr=0x110b, val=0x00.
ACPI PCI hotplug: read addr=0x110b, val=0x00.
ACPI PCI hotplug: read addr=0x110c, val=0x00.
ACPI PCI hotplug: read addr=0x110c, val=0x00.
ACPI PCI hotplug: read addr=0x110d, val=0x00.
ACPI PCI hotplug: read addr=0x110d, val=0x00.
ACPI PCI hotplug: read addr=0x110e, val=0x00.
ACPI PCI hotplug: read addr=0x110e, val=0x00.
ACPI PCI hotplug: read addr=0x110f, val=0x00.
ACPI PCI hotplug: read addr=0x110f, val=0x00.
ACPI PCI hotplug: read addr=0x1110, val=0x00.
ACPI PCI hotplug: read addr=0x1110, val=0x00.
ACPI PCI hotplug: read addr=0x1111, val=0x00.
ACPI PCI hotplug: read addr=0x1111, val=0x00.
ACPI PCI hotplug: read addr=0x1112, val=0x00.
ACPI PCI hotplug: read addr=0x1112, val=0x00.
ACPI PCI hotplug: read addr=0x1113, val=0x00.
ACPI PCI hotplug: read addr=0x1113, val=0x00.
ACPI PCI hotplug: read addr=0x1114, val=0x00.
ACPI PCI hotplug: read addr=0x1114, val=0x00.
ACPI PCI hotplug: read addr=0x1115, val=0x00.
ACPI PCI hotplug: read addr=0x1115, val=0x00.
ACPI PCI hotplug: read addr=0x1116, val=0x00.
ACPI PCI hotplug: read addr=0x1116, val=0x00.
ACPI PCI hotplug: read addr=0x1117, val=0x00.
ACPI PCI hotplug: read addr=0x1117, val=0x00.
ACPI PCI hotplug: read addr=0x1118, val=0x00.
ACPI PCI hotplug: read addr=0x1118, val=0x00.
ACPI PCI hotplug: read addr=0x1119, val=0x00.
ACPI PCI hotplug: read addr=0x1119, val=0x00.
ACPI PCI hotplug: read addr=0x111a, val=0x00.
ACPI PCI hotplug: read addr=0x111a, val=0x00.
ACPI PCI hotplug: read addr=0x111b, val=0x00.
ACPI PCI hotplug: read addr=0x111b, val=0x00.
ACPI PCI hotplug: read addr=0x111c, val=0x00.
ACPI PCI hotplug: read addr=0x111c, val=0x00.
ACPI PCI hotplug: read addr=0x111d, val=0x00.
ACPI PCI hotplug: read addr=0x111d, val=0x00.
ACPI PCI hotplug: read addr=0x111e, val=0x00.
ACPI PCI hotplug: read addr=0x111e, val=0x00.
ACPI PCI hotplug: read addr=0x111f, val=0x00.
ACPI PCI hotplug: read addr=0x111f, val=0x00.
ACPI PCI hotplug: read addr=0x1120, val=0x00.
ACPI PCI hotplug: read addr=0x1120, val=0x00.
ACPI PCI hotplug: read addr=0x1121, val=0x00.
ACPI PCI hotplug: read addr=0x1121, val=0x00.
ACPI PCI hotplug: read addr=0x1122, val=0x00.
ACPI PCI hotplug: read addr=0x1122, val=0x00.
ACPI PCI hotplug: read addr=0x1123, val=0x00.
ACPI PCI hotplug: read addr=0x1123, val=0x00.
ACPI PCI hotplug: read addr=0x1124, val=0x00.
ACPI PCI hotplug: read addr=0x1124, val=0x00.
ACPI PCI hotplug: read addr=0x1125, val=0x00.
ACPI PCI hotplug: read addr=0x1125, val=0x00.
ACPI PCI hotplug: read addr=0x1126, val=0x00.
ACPI PCI hotplug: read addr=0x1126, val=0x00.
ACPI PCI hotplug: read addr=0x1127, val=0x00.
ACPI PCI hotplug: read addr=0x1127, val=0x00.
ACPI PCI hotplug: read addr=0x1128, val=0x00.
ACPI PCI hotplug: read addr=0x1128, val=0x00.
ACPI PCI hotplug: read addr=0x1129, val=0x00.
ACPI PCI hotplug: read addr=0x1129, val=0x00.
ACPI PCI hotplug: read addr=0x112a, val=0x00.
ACPI PCI hotplug: read addr=0x112a, val=0x00.
ACPI PCI hotplug: read addr=0x112b, val=0x00.
ACPI PCI hotplug: read addr=0x112b, val=0x00.
ACPI PCI hotplug: read addr=0x112c, val=0x00.
ACPI PCI hotplug: read addr=0x112c, val=0x00.
ACPI PCI hotplug: read addr=0x112d, val=0x00.
ACPI PCI hotplug: read addr=0x112d, val=0x00.
ACPI PCI hotplug: read addr=0x112e, val=0x00.
ACPI PCI hotplug: read addr=0x112e, val=0x00.
ACPI PCI hotplug: read addr=0x112f, val=0x00.
ACPI PCI hotplug: read addr=0x112f, val=0x00.
ACPI PCI hotplug: read addr=0x1130, val=0x00.
ACPI PCI hotplug: read addr=0x1130, val=0x00.
ACPI PCI hotplug: read addr=0x1131, val=0x00.
ACPI PCI hotplug: read addr=0x1131, val=0x00.
ACPI PCI hotplug: read addr=0x1132, val=0x00.
ACPI PCI hotplug: read addr=0x1132, val=0x00.
ACPI PCI hotplug: read addr=0x1133, val=0x00.
ACPI PCI hotplug: read addr=0x1133, val=0x00.
ACPI PCI hotplug: read addr=0x1134, val=0x00.
ACPI PCI hotplug: read addr=0x1134, val=0x00.
ACPI PCI hotplug: read addr=0x1135, val=0x00.
ACPI PCI hotplug: read addr=0x1135, val=0x00.
ACPI PCI hotplug: read addr=0x1136, val=0x00.
ACPI PCI hotplug: read addr=0x1136, val=0x00.
ACPI PCI hotplug: read addr=0x1137, val=0x00.
ACPI PCI hotplug: read addr=0x1137, val=0x00.
ACPI PCI hotplug: read addr=0x1138, val=0x00.
ACPI PCI hotplug: read addr=0x1138, val=0x00.
ACPI PCI hotplug: read addr=0x1139, val=0x00.
ACPI PCI hotplug: read addr=0x1139, val=0x00.
ACPI PCI hotplug: read addr=0x113a, val=0x00.
ACPI PCI hotplug: read addr=0x113a, val=0x00.
ACPI PCI hotplug: read addr=0x113b, val=0x00.
ACPI PCI hotplug: read addr=0x113b, val=0x00.
ACPI PCI hotplug: read addr=0x113c, val=0x00.
ACPI PCI hotplug: read addr=0x113c, val=0x00.
ACPI PCI hotplug: read addr=0x113d, val=0x00.
ACPI PCI hotplug: read addr=0x113d, val=0x00.
ACPI PCI hotplug: read addr=0x113e, val=0x00.
ACPI PCI hotplug: read addr=0x113e, val=0x00.
ACPI PCI hotplug: read addr=0x113f, val=0x00.
ACPI PCI hotplug: read addr=0x113f, val=0x00.
ACPI PCI hotplug: read addr=0x1140, val=0x00.
ACPI PCI hotplug: read addr=0x1140, val=0x00.
ACPI PCI hotplug: read addr=0x1141, val=0x00.
ACPI PCI hotplug: read addr=0x1141, val=0x00.
ACPI PCI hotplug: read addr=0x10c2, val=0x00.
ACPI PCI hotplug: read addr=0x10c2, val=0x00.
ACPI PCI hotplug: read addr=0x10c3, val=0x00.
ACPI PCI hotplug: read addr=0x10c3, val=0x00.
ACPI PCI hotplug: read addr=0x10c4, val=0x00.
ACPI PCI hotplug: read addr=0x10c4, val=0x00.
ACPI PCI hotplug: read addr=0x10c5, val=0x00.
ACPI PCI hotplug: read addr=0x10c5, val=0x00.
ACPI PCI hotplug: read addr=0x10c6, val=0x00.
ACPI PCI hotplug: read addr=0x10c6, val=0x00.
ACPI PCI hotplug: read addr=0x10c7, val=0x00.
ACPI PCI hotplug: read addr=0x10c7, val=0x00.
ACPI PCI hotplug: read addr=0x10c8, val=0x00.
ACPI PCI hotplug: read addr=0x10c8, val=0x00.
ACPI PCI hotplug: read addr=0x10c9, val=0x00.
ACPI PCI hotplug: read addr=0x10c9, val=0x00.
ACPI PCI hotplug: read addr=0x10ca, val=0x00.
ACPI PCI hotplug: read addr=0x10ca, val=0x00.
ACPI PCI hotplug: read addr=0x10cb, val=0x00.
ACPI PCI hotplug: read addr=0x10cb, val=0x00.
ACPI PCI hotplug: read addr=0x10cc, val=0x00.
ACPI PCI hotplug: read addr=0x10cc, val=0x00.
ACPI PCI hotplug: read addr=0x10cd, val=0x00.
ACPI PCI hotplug: read addr=0x10cd, val=0x00.
ACPI PCI hotplug: read addr=0x10ce, val=0x00.
ACPI PCI hotplug: read addr=0x10ce, val=0x00.
ACPI PCI hotplug: read addr=0x10cf, val=0x00.
ACPI PCI hotplug: read addr=0x10cf, val=0x00.
ACPI PCI hotplug: read addr=0x10d0, val=0x00.
ACPI PCI hotplug: read addr=0x10d0, val=0x00.
ACPI PCI hotplug: read addr=0x10d1, val=0x00.
ACPI PCI hotplug: read addr=0x10d1, val=0x00.
ACPI PCI hotplug: read addr=0x10d2, val=0x00.
ACPI PCI hotplug: read addr=0x10d2, val=0x00.
ACPI PCI hotplug: read addr=0x10d3, val=0x00.
ACPI PCI hotplug: read addr=0x10d3, val=0x00.
ACPI PCI hotplug: read addr=0x10d4, val=0x00.
ACPI PCI hotplug: read addr=0x10d4, val=0x00.
ACPI PCI hotplug: read addr=0x10d5, val=0x00.
ACPI PCI hotplug: read addr=0x10d5, val=0x00.
ACPI PCI hotplug: read addr=0x10d6, val=0x00.
ACPI PCI hotplug: read addr=0x10d6, val=0x00.
ACPI PCI hotplug: read addr=0x10d7, val=0x00.
ACPI PCI hotplug: read addr=0x10d7, val=0x00.
ACPI PCI hotplug: read addr=0x10d8, val=0x00.
ACPI PCI hotplug: read addr=0x10d8, val=0x00.
ACPI PCI hotplug: read addr=0x10d9, val=0x00.
ACPI PCI hotplug: read addr=0x10d9, val=0x00.
ACPI PCI hotplug: read addr=0x10da, val=0x00.
ACPI PCI hotplug: read addr=0x10da, val=0x00.
ACPI PCI hotplug: read addr=0x10db, val=0x00.
ACPI PCI hotplug: read addr=0x10db, val=0x00.
ACPI PCI hotplug: read addr=0x10dc, val=0x00.
ACPI PCI hotplug: read addr=0x10dc, val=0x00.
ACPI PCI hotplug: read addr=0x10dd, val=0x00.
ACPI PCI hotplug: read addr=0x10dd, val=0x00.
ACPI PCI hotplug: read addr=0x10de, val=0x00.
ACPI PCI hotplug: read addr=0x10de, val=0x00.
ACPI PCI hotplug: read addr=0x10df, val=0x00.
ACPI PCI hotplug: read addr=0x10df, val=0x00.
ACPI PCI hotplug: read addr=0x10e0, val=0x00.
ACPI PCI hotplug: read addr=0x10e0, val=0x00.
ACPI PCI hotplug: read addr=0x10e1, val=0x00.
ACPI PCI hotplug: read addr=0x10e1, val=0x00.
ACPI PCI hotplug: read addr=0x10e2, val=0x00.
ACPI PCI hotplug: read addr=0x10e2, val=0x00.
ACPI PCI hotplug: read addr=0x10e3, val=0x00.
ACPI PCI hotplug: read addr=0x10e3, val=0x00.
ACPI PCI hotplug: read addr=0x10e4, val=0x00.
ACPI PCI hotplug: read addr=0x10e4, val=0x00.
ACPI PCI hotplug: read addr=0x10e5, val=0x00.
ACPI PCI hotplug: read addr=0x10e5, val=0x00.
ACPI PCI hotplug: read addr=0x10e6, val=0x00.
ACPI PCI hotplug: read addr=0x10e6, val=0x00.
ACPI PCI hotplug: read addr=0x10e7, val=0x00.
ACPI PCI hotplug: read addr=0x10e7, val=0x00.
ACPI PCI hotplug: read addr=0x10e8, val=0x00.
ACPI PCI hotplug: read addr=0x10e8, val=0x00.
ACPI PCI hotplug: read addr=0x10e9, val=0x00.
ACPI PCI hotplug: read addr=0x10e9, val=0x00.
ACPI PCI hotplug: read addr=0x10ea, val=0x00.
ACPI PCI hotplug: read addr=0x10ea, val=0x00.
ACPI PCI hotplug: read addr=0x10eb, val=0x00.
ACPI PCI hotplug: read addr=0x10eb, val=0x00.
ACPI PCI hotplug: read addr=0x10ec, val=0x00.
ACPI PCI hotplug: read addr=0x10ec, val=0x00.
ACPI PCI hotplug: read addr=0x10ed, val=0x00.
ACPI PCI hotplug: read addr=0x10ed, val=0x00.
ACPI PCI hotplug: read addr=0x10ee, val=0x00.
ACPI PCI hotplug: read addr=0x10ee, val=0x00.
ACPI PCI hotplug: read addr=0x10ef, val=0x00.
ACPI PCI hotplug: read addr=0x10ef, val=0x00.
ACPI PCI hotplug: read addr=0x10f0, val=0x00.
ACPI PCI hotplug: read addr=0x10f0, val=0x00.
ACPI PCI hotplug: read addr=0x10f1, val=0x00.
ACPI PCI hotplug: read addr=0x10f1, val=0x00.
ACPI PCI hotplug: read addr=0x10f2, val=0x00.
ACPI PCI hotplug: read addr=0x10f2, val=0x00.
ACPI PCI hotplug: read addr=0x10f3, val=0x00.
ACPI PCI hotplug: read addr=0x10f3, val=0x00.
ACPI PCI hotplug: read addr=0x10f4, val=0x00.
ACPI PCI hotplug: read addr=0x10f4, val=0x00.
ACPI PCI hotplug: read addr=0x10f5, val=0x00.
ACPI PCI hotplug: read addr=0x10f5, val=0x00.
ACPI PCI hotplug: read addr=0x10f6, val=0x00.
ACPI PCI hotplug: read addr=0x10f6, val=0x00.
ACPI PCI hotplug: read addr=0x10f7, val=0x00.
ACPI PCI hotplug: read addr=0x10f7, val=0x00.
ACPI PCI hotplug: read addr=0x10f8, val=0x00.
ACPI PCI hotplug: read addr=0x10f8, val=0x00.
ACPI PCI hotplug: read addr=0x10f9, val=0x00.
ACPI PCI hotplug: read addr=0x10f9, val=0x00.
ACPI PCI hotplug: read addr=0x10fa, val=0x00.
ACPI PCI hotplug: read addr=0x10fa, val=0x00.
ACPI PCI hotplug: read addr=0x10fb, val=0x00.
ACPI PCI hotplug: read addr=0x10fb, val=0x00.
ACPI PCI hotplug: read addr=0x10fc, val=0x00.
ACPI PCI hotplug: read addr=0x10fc, val=0x00.
ACPI PCI hotplug: read addr=0x10fd, val=0x00.
ACPI PCI hotplug: read addr=0x10fd, val=0x00.
ACPI PCI hotplug: read addr=0x10fe, val=0x00.
ACPI PCI hotplug: read addr=0x10fe, val=0x00.
ACPI PCI hotplug: read addr=0x10ff, val=0x00.
ACPI PCI hotplug: read addr=0x10ff, val=0x00.
ACPI PCI hotplug: read addr=0x1100, val=0x00.
ACPI PCI hotplug: read addr=0x1100, val=0x00.
ACPI PCI hotplug: read addr=0x1101, val=0x00.
ACPI PCI hotplug: read addr=0x1101, val=0x00.
ACPI PCI hotplug: read addr=0x1102, val=0x00.
ACPI PCI hotplug: read addr=0x1102, val=0x00.
ACPI PCI hotplug: read addr=0x1103, val=0x00.
ACPI PCI hotplug: read addr=0x1103, val=0x00.
ACPI PCI hotplug: read addr=0x1104, val=0x00.
ACPI PCI hotplug: read addr=0x1104, val=0x00.
ACPI PCI hotplug: read addr=0x1105, val=0x00.
ACPI PCI hotplug: read addr=0x1105, val=0x00.
ACPI PCI hotplug: read addr=0x1106, val=0x00.
ACPI PCI hotplug: read addr=0x1106, val=0x00.
ACPI PCI hotplug: read addr=0x1107, val=0x00.
ACPI PCI hotplug: read addr=0x1107, val=0x00.
ACPI PCI hotplug: read addr=0x1108, val=0x00.
ACPI PCI hotplug: read addr=0x1108, val=0x00.
ACPI PCI hotplug: read addr=0x1109, val=0x00.
ACPI PCI hotplug: read addr=0x1109, val=0x00.
ACPI PCI hotplug: read addr=0x110a, val=0x00.
ACPI PCI hotplug: read addr=0x110a, val=0x00.
ACPI PCI hotplug: read addr=0x110b, val=0x00.
ACPI PCI hotplug: read addr=0x110b, val=0x00.
ACPI PCI hotplug: read addr=0x110c, val=0x00.
ACPI PCI hotplug: read addr=0x110c, val=0x00.
ACPI PCI hotplug: read addr=0x110d, val=0x00.
ACPI PCI hotplug: read addr=0x110d, val=0x00.
ACPI PCI hotplug: read addr=0x110e, val=0x00.
ACPI PCI hotplug: read addr=0x110e, val=0x00.
ACPI PCI hotplug: read addr=0x110f, val=0x00.
ACPI PCI hotplug: read addr=0x110f, val=0x00.
ACPI PCI hotplug: read addr=0x1110, val=0x00.
ACPI PCI hotplug: read addr=0x1110, val=0x00.
ACPI PCI hotplug: read addr=0x1111, val=0x00.
ACPI PCI hotplug: read addr=0x1111, val=0x00.
ACPI PCI hotplug: read addr=0x1112, val=0x00.
ACPI PCI hotplug: read addr=0x1112, val=0x00.
ACPI PCI hotplug: read addr=0x1113, val=0x00.
ACPI PCI hotplug: read addr=0x1113, val=0x00.
ACPI PCI hotplug: read addr=0x1114, val=0x00.
ACPI PCI hotplug: read addr=0x1114, val=0x00.
ACPI PCI hotplug: read addr=0x1115, val=0x00.
ACPI PCI hotplug: read addr=0x1115, val=0x00.
ACPI PCI hotplug: read addr=0x1116, val=0x00.
ACPI PCI hotplug: read addr=0x1116, val=0x00.
ACPI PCI hotplug: read addr=0x1117, val=0x00.
ACPI PCI hotplug: read addr=0x1117, val=0x00.
ACPI PCI hotplug: read addr=0x1118, val=0x00.
ACPI PCI hotplug: read addr=0x1118, val=0x00.
ACPI PCI hotplug: read addr=0x1119, val=0x00.
ACPI PCI hotplug: read addr=0x1119, val=0x00.
ACPI PCI hotplug: read addr=0x111a, val=0x00.
ACPI PCI hotplug: read addr=0x111a, val=0x00.
ACPI PCI hotplug: read addr=0x111b, val=0x00.
ACPI PCI hotplug: read addr=0x111b, val=0x00.
ACPI PCI hotplug: read addr=0x111c, val=0x00.
ACPI PCI hotplug: read addr=0x111c, val=0x00.
ACPI PCI hotplug: read addr=0x111d, val=0x00.
ACPI PCI hotplug: read addr=0x111d, val=0x00.
ACPI PCI hotplug: read addr=0x111e, val=0x00.
ACPI PCI hotplug: read addr=0x111e, val=0x00.
ACPI PCI hotplug: read addr=0x111f, val=0x00.
ACPI PCI hotplug: read addr=0x111f, val=0x00.
ACPI PCI hotplug: read addr=0x1120, val=0x00.
ACPI PCI hotplug: read addr=0x1120, val=0x00.
ACPI PCI hotplug: read addr=0x1121, val=0x00.
ACPI PCI hotplug: read addr=0x1121, val=0x00.
ACPI PCI hotplug: read addr=0x1122, val=0x00.
ACPI PCI hotplug: read addr=0x1122, val=0x00.
ACPI PCI hotplug: read addr=0x1123, val=0x00.
ACPI PCI hotplug: read addr=0x1123, val=0x00.
ACPI PCI hotplug: read addr=0x1124, val=0x00.
ACPI PCI hotplug: read addr=0x1124, val=0x00.
ACPI PCI hotplug: read addr=0x1125, val=0x00.
ACPI PCI hotplug: read addr=0x1125, val=0x00.
ACPI PCI hotplug: read addr=0x1126, val=0x00.
ACPI PCI hotplug: read addr=0x1126, val=0x00.
ACPI PCI hotplug: read addr=0x1127, val=0x00.
ACPI PCI hotplug: read addr=0x1127, val=0x00.
ACPI PCI hotplug: read addr=0x1128, val=0x00.
ACPI PCI hotplug: read addr=0x1128, val=0x00.
ACPI PCI hotplug: read addr=0x1129, val=0x00.
ACPI PCI hotplug: read addr=0x1129, val=0x00.
ACPI PCI hotplug: read addr=0x112a, val=0x00.
ACPI PCI hotplug: read addr=0x112a, val=0x00.
ACPI PCI hotplug: read addr=0x112b, val=0x00.
ACPI PCI hotplug: read addr=0x112b, val=0x00.
ACPI PCI hotplug: read addr=0x112c, val=0x00.
ACPI PCI hotplug: read addr=0x112c, val=0x00.
ACPI PCI hotplug: read addr=0x112d, val=0x00.
ACPI PCI hotplug: read addr=0x112d, val=0x00.
ACPI PCI hotplug: read addr=0x112e, val=0x00.
ACPI PCI hotplug: read addr=0x112e, val=0x00.
ACPI PCI hotplug: read addr=0x112f, val=0x00.
ACPI PCI hotplug: read addr=0x112f, val=0x00.
ACPI PCI hotplug: read addr=0x1130, val=0x00.
ACPI PCI hotplug: read addr=0x1130, val=0x00.
ACPI PCI hotplug: read addr=0x1131, val=0x00.
ACPI PCI hotplug: read addr=0x1131, val=0x00.
ACPI PCI hotplug: read addr=0x1132, val=0x00.
ACPI PCI hotplug: read addr=0x1132, val=0x00.
ACPI PCI hotplug: read addr=0x1133, val=0x00.
ACPI PCI hotplug: read addr=0x1133, val=0x00.
ACPI PCI hotplug: read addr=0x1134, val=0x00.
ACPI PCI hotplug: read addr=0x1134, val=0x00.
ACPI PCI hotplug: read addr=0x1135, val=0x00.
ACPI PCI hotplug: read addr=0x1135, val=0x00.
ACPI PCI hotplug: read addr=0x1136, val=0x00.
ACPI PCI hotplug: read addr=0x1136, val=0x00.
ACPI PCI hotplug: read addr=0x1137, val=0x00.
ACPI PCI hotplug: read addr=0x1137, val=0x00.
ACPI PCI hotplug: read addr=0x1138, val=0x00.
ACPI PCI hotplug: read addr=0x1138, val=0x00.
ACPI PCI hotplug: read addr=0x1139, val=0x00.
ACPI PCI hotplug: read addr=0x1139, val=0x00.
ACPI PCI hotplug: read addr=0x113a, val=0x00.
ACPI PCI hotplug: read addr=0x113a, val=0x00.
ACPI PCI hotplug: read addr=0x113b, val=0x00.
ACPI PCI hotplug: read addr=0x113b, val=0x00.
ACPI PCI hotplug: read addr=0x113c, val=0x00.
ACPI PCI hotplug: read addr=0x113c, val=0x00.
ACPI PCI hotplug: read addr=0x113d, val=0x00.
ACPI PCI hotplug: read addr=0x113d, val=0x00.
ACPI PCI hotplug: read addr=0x113e, val=0x00.
ACPI PCI hotplug: read addr=0x113e, val=0x00.
ACPI PCI hotplug: read addr=0x113f, val=0x00.
ACPI PCI hotplug: read addr=0x113f, val=0x00.
ACPI PCI hotplug: read addr=0x1140, val=0x00.
ACPI PCI hotplug: read addr=0x1140, val=0x00.
ACPI PCI hotplug: read addr=0x1141, val=0x00.
ACPI PCI hotplug: read addr=0x1141, val=0x00.
vcpu 0/32, gpe0_sts[0]: c
VCPU0 1 
VCPU1 0 VCPU2 0 VCPU3 0 VCPU4 0 VCPU5 0 VCPU6 0 VCPU7 0 VCPU8 0 
VCPU9 0 VCPU10 0 VCPU11 0 VCPU12 0 VCPU13 0 VCPU14 0 VCPU15 0 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 vcpu 1/32, gpe0_sts[0]: c
VCPU0 1 
VCPU1 0 VCPU2 0 VCPU3 0 VCPU4 0 VCPU5 0 VCPU6 0 VCPU7 0 VCPU8 0 
VCPU9 0 VCPU10 0 VCPU11 0 VCPU12 0 VCPU13 0 VCPU14 0 VCPU15 0 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 Add vcpu 1
STS[0] = 4 ENA[0] = c
vcpu 2/32, gpe0_sts[0]: c
VCPU0 1 
VCPU1 2 VCPU2 0 VCPU3 0 VCPU4 0 VCPU5 0 VCPU6 0 VCPU7 0 VCPU8 0 
VCPU9 0 VCPU10 0 VCPU11 0 VCPU12 0 VCPU13 0 VCPU14 0 VCPU15 0 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 Add vcpu 2
STS[0] = 4 ENA[0] = c
vcpu 3/32, gpe0_sts[0]: c
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 0 VCPU4 0 VCPU5 0 VCPU6 0 VCPU7 0 VCPU8 0 
VCPU9 0 VCPU10 0 VCPU11 0 VCPU12 0 VCPU13 0 VCPU14 0 VCPU15 0 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 Add vcpu 3
STS[0] = 4 ENA[0] = c
vcpu 4/32, gpe0_sts[0]: c
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 0 VCPU5 0 VCPU6 0 VCPU7 0 VCPU8 0 
VCPU9 0 VCPU10 0 VCPU11 0 VCPU12 0 VCPU13 0 VCPU14 0 VCPU15 0 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 Add vcpu 4
STS[0] = 4 ENA[0] = c
vcpu 5/32, gpe0_sts[0]: c
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 0 VCPU6 0 VCPU7 0 VCPU8 0 
VCPU9 0 VCPU10 0 VCPU11 0 VCPU12 0 VCPU13 0 VCPU14 0 VCPU15 0 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 Add vcpu 5
STS[0] = 4 ENA[0] = c
vcpu 6/32, gpe0_sts[0]: c
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 0 VCPU7 0 VCPU8 0 
VCPU9 0 VCPU10 0 VCPU11 0 VCPU12 0 VCPU13 0 VCPU14 0 VCPU15 0 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 Add vcpu 6
STS[0] = 4 ENA[0] = c
vcpu 7/32, gpe0_sts[0]: c
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 0 VCPU8 0 
VCPU9 0 VCPU10 0 VCPU11 0 VCPU12 0 VCPU13 0 VCPU14 0 VCPU15 0 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 Add vcpu 7
STS[0] = 4 ENA[0] = c
vcpu 8/32, gpe0_sts[0]: c
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 0 
VCPU9 0 VCPU10 0 VCPU11 0 VCPU12 0 VCPU13 0 VCPU14 0 VCPU15 0 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 Add vcpu 8
STS[0] = 4 ENA[0] = c
vcpu 9/32, gpe0_sts[0]: c
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 0 VCPU10 0 VCPU11 0 VCPU12 0 VCPU13 0 VCPU14 0 VCPU15 0 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 Add vcpu 9
STS[0] = 4 ENA[0] = c
gpe_en_write: addr=0xafe2, val=0x8.
vcpu 10/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 0 VCPU11 0 VCPU12 0 VCPU13 0 VCPU14 0 VCPU15 0 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 Add vcpu 10
STS[0] = 4 ENA[0] = 8
vcpu 11/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 0 VCPU12 0 VCPU13 0 VCPU14 0 VCPU15 0 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 Add vcpu 11
STS[0] = 4 ENA[0] = 8
vcpu 12/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 0 VCPU13 0 VCPU14 0 VCPU15 0 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 Add vcpu 12
STS[0] = 4 ENA[0] = 8
gpe_cpus_readb: af00 val: ff
vcpu 13/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 0 VCPU14 0 VCPU15 0 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 Add vcpu 13
STS[0] = 4 ENA[0] = 8
vcpu 14/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 0 VCPU15 0 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 Add vcpu 14
STS[0] = 4 ENA[0] = 8
gpe_cpus_readb: af01 val: 7f
vcpu 15/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 0 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 Add vcpu 15
STS[0] = 4 ENA[0] = 8
vcpu 16/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 80 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 gpe_cpus_readb: af02 val: 0
vcpu 17/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 80 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 vcpu 18/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 80 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 gpe_cpus_readb: af03 val: 0
vcpu 19/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 80 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 vcpu 20/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 80 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 gpe_cpus_readb: af04 val: 0
vcpu 21/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 80 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 vcpu 22/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 80 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 gpe_cpus_readb: af05 val: 0
vcpu 23/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 80 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 vcpu 24/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 80 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 gpe_cpus_readb: af06 val: 0
vcpu 25/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 80 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 vcpu 26/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 80 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 gpe_cpus_readb: af07 val: 0
vcpu 27/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 80 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 vcpu 28/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 80 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 gpe_cpus_readb: af08 val: 0
vcpu 29/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 80 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 vcpu 30/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 80 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 gpe_cpus_readb: af09 val: 0
vcpu 31/32, gpe0_sts[0]: 8
VCPU0 1 
VCPU1 2 VCPU2 4 VCPU3 8 VCPU4 10 VCPU5 20 VCPU6 40 VCPU7 80 VCPU8 1 
VCPU9 2 VCPU10 4 VCPU11 8 VCPU12 10 VCPU13 20 VCPU14 40 VCPU15 80 VCPU16 0 
VCPU17 0 VCPU18 0 VCPU19 0 VCPU20 0 VCPU21 0 VCPU22 0 VCPU23 0 VCPU24 0 
VCPU25 0 VCPU26 0 VCPU27 0 VCPU28 0 VCPU29 0 VCPU30 0 VCPU31 0 gpe_cpus_readb: af0a val: 0
gpe_cpus_readb: af0b val: 0
gpe_cpus_readb: af0c val: 0
gpe_cpus_readb: af0d val: 0
gpe_cpus_readb: af0e val: 0
gpe_cpus_readb: af0f val: 0
gpe_sts_write: addr=0xafe0, val=0x4.
gpe_en_write: addr=0xafe2, val=0xc.

[-- Attachment #4: Type: text/plain, Size: 126 bytes --]

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

Re: [QEMU-traditional] ACPI AML code races with QEMU updating the vCPU count when hotplugging more than ~14 VCPUs.

[Igor Mammedov]

On Thu, 9 May 2013 16:47:24 -0400
Konrad Rzeszutek Wilk <konrad.wilk@oracle.com> wrote:

> This is a race so the amount varies but on a 4PCPU box
> I seem to get only ~14 out of 16 vCPUs I want to online.
> 
> The issue at hand is that QEMU xenstore.c hotplug code
> does to the command: xl vcpu-set latest 16
> (guest config has vcpus=1, maxvcpus=32) this:
> 
> 
> QEMU:						Guest OS:
> -xenstore_process_vcpu_set_event
>  -> Gets an XenBus notification for CPU1
>  -> Updates the gpe_state.cpus_state bitfield.       
> 	-> Pulses the ACPI SCI 
> 						- ACPI SCI kicks in
> 
>  -> Gets an XenBus notification for CPU2
>  -> Updates the gpe_state.cpus_state bitfield.
> 	-> Pulses the ACPI SCI 
> 
>  -> Gets an XenBus notification for CPU3
>  -> Updates the gpe_state.cpus_state bitfield.
> 	-> Pulses the ACPI SCI 
>    ...
> 						 - Method(PRST) invoked
> 							  
>  -> Gets an XenBus notification for CPU12
>  -> Updates the gpe_state.cpus_state bitfield.
> 	-> Pulses the ACPI SCI 
> 						  - reads AF00 for CPU state
> 						    [gets 0xff]
> 						  - reads AF02 [gets 0x7f]
> 
> 							
>  -> Gets an XenBus notification for CPU13
>  -> Updates the gpe_state.cpus_state bitfield.
> 	-> Pulses the ACPI SCI 
> 
> 	.. until VCPU 16
> 						 - Method PRST updates
> 						   PR01 through 13 FLG
> 						   entry.
> 						 - PR01->PR13 _MAD
> 						   invoked.
> 
> 						 - Brings up 13 CPUs.
> 
> While QEMU updates the rest of the cpus_state bitfields the ACPI AML
> only does the CPU hotplug on those it had read. For reference
> please see the debug patch and also the QEMU log. Look for
> 'gpe_cpus_readb'.
> 
> My thinking of how to fix this is just to add in
> xenstore_process_vcpu_set_event
>  - a scan for all of the other availability/cpu states.
>  - for each of the cpu availability states query the
>    gpe_state.cpus_state and if different modify them (and set
>    a bool that one of them was modified).
>  - When done scanning and if the bool was set, then kick of the
>    qemu_irq_pulse.
> 
> Then if the other events are triggered we can just check the
> gpe_state.cpus_state against what XenBus thinks and if they
> are the same just return without doing the qemu_irq_pulse.
> 
> Thoughts?
Could you check if switching from level to edge handling in AML helps?
http://git.qemu.org/?p=seabios.git;a=commit;h=9c6635bd48d39a1d17d0a73df6e577ef6bd0037c


-- 
Regards,
  Igor

Re: [QEMU-traditional] ACPI AML code races with QEMU updating the vCPU count when hotplugging more than ~14 VCPUs.

[Konrad Rzeszutek Wilk]

> > Then if the other events are triggered we can just check the
> > gpe_state.cpus_state against what XenBus thinks and if they
> > are the same just return without doing the qemu_irq_pulse.
> > 
> > Thoughts?
> Could you check if switching from level to edge handling in AML helps?
> http://git.qemu.org/?p=seabios.git;a=commit;h=9c6635bd48d39a1d17d0a73df6e577ef6bd0037c

Sadly did not help. I am thinking just to try out the outline of
the code I wrote and see how it works. 

BTW, this is with the traditional Xen QEMU. I couldn't get the SeaBIOS
QEMU to work with this and I think that is b/c the XenStore monitoring
of the CPUs availability is just not there.

Ah, it might be via the QMP layer thingy. I should look in that.

> 
> 
> -- 
> Regards,
>   Igor
> 
> _______________________________________________
> Xen-devel mailing list
> Xen-devel@lists.xen.org
> http://lists.xen.org/xen-devel
> 

upstream QEMU and cpu hotplug Was: [QEMU-traditional] ACPI AML code races with QEMU updating the vCPU count when hotplugging more than ~14 VCPUs.

[Stefano Stabellini]

This reminded me to look for cpu hotplug in upstream QEMU and it looks
like we don't support this feature at all there :-(

We don't even parse the cpu field on xenstore.

What are we going to do about this in 4.3?

On Thu, 9 May 2013, Konrad Rzeszutek Wilk wrote:
> This is a race so the amount varies but on a 4PCPU box
> I seem to get only ~14 out of 16 vCPUs I want to online.
> 
> The issue at hand is that QEMU xenstore.c hotplug code
> does to the command: xl vcpu-set latest 16
> (guest config has vcpus=1, maxvcpus=32) this:
> 
> 
> QEMU:						Guest OS:
> -xenstore_process_vcpu_set_event
>  -> Gets an XenBus notification for CPU1
>  -> Updates the gpe_state.cpus_state bitfield.       
> 	-> Pulses the ACPI SCI 
> 						- ACPI SCI kicks in
> 
>  -> Gets an XenBus notification for CPU2
>  -> Updates the gpe_state.cpus_state bitfield.
> 	-> Pulses the ACPI SCI 
> 
>  -> Gets an XenBus notification for CPU3
>  -> Updates the gpe_state.cpus_state bitfield.
> 	-> Pulses the ACPI SCI 
>    ...
> 						 - Method(PRST) invoked
> 							  
>  -> Gets an XenBus notification for CPU12
>  -> Updates the gpe_state.cpus_state bitfield.
> 	-> Pulses the ACPI SCI 
> 						  - reads AF00 for CPU state
> 						    [gets 0xff]
> 						  - reads AF02 [gets 0x7f]
> 
> 							
>  -> Gets an XenBus notification for CPU13
>  -> Updates the gpe_state.cpus_state bitfield.
> 	-> Pulses the ACPI SCI 
> 
> 	.. until VCPU 16
> 						 - Method PRST updates
> 						   PR01 through 13 FLG
> 						   entry.
> 						 - PR01->PR13 _MAD
> 						   invoked.
> 
> 						 - Brings up 13 CPUs.
> 
> While QEMU updates the rest of the cpus_state bitfields the ACPI AML
> only does the CPU hotplug on those it had read. For reference
> please see the debug patch and also the QEMU log. Look for
> 'gpe_cpus_readb'.
> 
> My thinking of how to fix this is just to add in
> xenstore_process_vcpu_set_event
>  - a scan for all of the other availability/cpu states.
>  - for each of the cpu availability states query the
>    gpe_state.cpus_state and if different modify them (and set
>    a bool that one of them was modified).
>  - When done scanning and if the bool was set, then kick of the
>    qemu_irq_pulse.
> 
> Then if the other events are triggered we can just check the
> gpe_state.cpus_state against what XenBus thinks and if they
> are the same just return without doing the qemu_irq_pulse.
> 
> Thoughts?
> 

Re: upstream QEMU and cpu hotplug Was: [QEMU-traditional] ACPI AML code races with QEMU updating the vCPU count when hotplugging more than ~14 VCPUs.

[Stefano Stabellini]

FYI the appended commits are missing in upstream QEMU.

Given the timeframe available I would be happy to carry a straight
port of these commits, as close as possible to the originals, in the
qemu-upstrem-4.3 tree.
We can revert them later (Xen 4.4) and implement the feature properly by
sending the patches to qemu-devel and following the development process
there. There is no time to do that in time for the 4.3 release.



commit 12d0187099adeb242eb7c232a0f3bf9d153716c3
Author: Ian Jackson <ian.jackson@eu.citrix.com>
Date:   Mon Jan 4 17:12:44 2010 +0000

    HVM vcpu add/remove: qemu logic for vcpu add/revmoe
    
    -- at qemu side, get vcpu_avail which used for original cpu avail map;
    -- setup gpe ioread/iowrite at qmeu;
    -- setup vcpu add/remove user interface through monitor;
    -- setup SCI logic;
    
    Signed-off-by: Liu, Jinsong <jinsong.liu@intel.com>
    
    [ PATCH 4/4 ] HVM vcpu add/remove: qemu logic for vcpu add/revmoe

commit c95358206acd768f06b4fb6c645033094d106775
Author: Ian Jackson <ian.jackson@eu.citrix.com>
Date:   Thu Mar 18 16:45:51 2010 +0000

    Fix vcpu hotplug bug: get correct vcpu_avail bitmap
    
    Currently qemu has a bug: When maxvcpus > 64, qemu will get wrong
    vcpu bitmap (s->cpus_sts[i]) since it only get bitmap from a long variable.
    
    This patch, cooperate with another xend python patch, is to fix this bug.
    This patch get hex string from xend, transfer it to correct vcpu_avail bitmap
    which saved at an uint32_t array.
    
    Signed-off-By: Liu, Jinsong <jinsong.liu@intel.com>
    (This is [PATCH 2/2], the other half is in xen-unstable.hg)

commit 376c64a4e068b3dc83f066b4050ed34d983a5c75
Author: Ian Jackson <ian.jackson@eu.citrix.com>
Date:   Fri Apr 30 17:41:18 2010 +0100

    Update vcpu hotplug logic
    
    Add vcpu online/offline check to avoid redundant SCI interrupt.
    
    Signed-off-by: Liu, Jinsong <jinsong.liu@intel.com>

commit 01626771cf2e9285fbfddcbded2820fc77745e4b
Author: Ian Jackson <ian.jackson@eu.citrix.com>
Date:   Fri Apr 30 17:41:45 2010 +0100

    Implement 'xm vcpu-set' command for HVM guest
    
    Currently Xen has 'xm vcpu-set' command for PV domain, but not
    available for HVM domain.  This patch is use to enable 'xm vcpu-set'
    command for HVM domain. It setup vcpu watch at xenstore, and at qemu
    side, handle vcpu online/offline accordingly.  With this patch, 'xm
    vcpu-set' command works for both PV and HVM guest with same format.
    command for HVM domain. It setup vcpu watch at xenstore, and at qemu
    side, handle vcpu online/offline accordingly.  With this patch, 'xm
    vcpu-set' command works for both PV and HVM guest with same format.
    
    Signed-off-by: Liu, Jinsong <jinsong.liu@intel.com>

commit ce3b7ce68426ea6249bb411f26b376d459c45450
Author: Ian Jackson <ian.jackson@eu.citrix.com>
Date:   Tue Nov 9 18:01:13 2010 +0000

    piix4acpi, xen: change in ACPI to match the change in the BIOS.
    
    Some change have been introduced in the Xen firmware to match QEMU's
    BIOS.  So this patch adds the new sleep state values and handle old
    and new ACPI IOPort mapping.
    
    QEMU-Xen uses new ioport by default, but if it's a saved state with old
    firmware, it unmaps the new ioport and maps the old one.
    
    Signed-off-by: Anthony PERARD <anthony.perard@citrix.com>


On Fri, 10 May 2013, Stefano Stabellini wrote:
> This reminded me to look for cpu hotplug in upstream QEMU and it looks
> like we don't support this feature at all there :-(
> 
> We don't even parse the cpu field on xenstore.
> 
> What are we going to do about this in 4.3?
> 
> On Thu, 9 May 2013, Konrad Rzeszutek Wilk wrote:
> > This is a race so the amount varies but on a 4PCPU box
> > I seem to get only ~14 out of 16 vCPUs I want to online.
> > 
> > The issue at hand is that QEMU xenstore.c hotplug code
> > does to the command: xl vcpu-set latest 16
> > (guest config has vcpus=1, maxvcpus=32) this:
> > 
> > 
> > QEMU:						Guest OS:
> > -xenstore_process_vcpu_set_event
> >  -> Gets an XenBus notification for CPU1
> >  -> Updates the gpe_state.cpus_state bitfield.       
> > 	-> Pulses the ACPI SCI 
> > 						- ACPI SCI kicks in
> > 
> >  -> Gets an XenBus notification for CPU2
> >  -> Updates the gpe_state.cpus_state bitfield.
> > 	-> Pulses the ACPI SCI 
> > 
> >  -> Gets an XenBus notification for CPU3
> >  -> Updates the gpe_state.cpus_state bitfield.
> > 	-> Pulses the ACPI SCI 
> >    ...
> > 						 - Method(PRST) invoked
> > 							  
> >  -> Gets an XenBus notification for CPU12
> >  -> Updates the gpe_state.cpus_state bitfield.
> > 	-> Pulses the ACPI SCI 
> > 						  - reads AF00 for CPU state
> > 						    [gets 0xff]
> > 						  - reads AF02 [gets 0x7f]
> > 
> > 							
> >  -> Gets an XenBus notification for CPU13
> >  -> Updates the gpe_state.cpus_state bitfield.
> > 	-> Pulses the ACPI SCI 
> > 
> > 	.. until VCPU 16
> > 						 - Method PRST updates
> > 						   PR01 through 13 FLG
> > 						   entry.
> > 						 - PR01->PR13 _MAD
> > 						   invoked.
> > 
> > 						 - Brings up 13 CPUs.
> > 
> > While QEMU updates the rest of the cpus_state bitfields the ACPI AML
> > only does the CPU hotplug on those it had read. For reference
> > please see the debug patch and also the QEMU log. Look for
> > 'gpe_cpus_readb'.
> > 
> > My thinking of how to fix this is just to add in
> > xenstore_process_vcpu_set_event
> >  - a scan for all of the other availability/cpu states.
> >  - for each of the cpu availability states query the
> >    gpe_state.cpus_state and if different modify them (and set
> >    a bool that one of them was modified).
> >  - When done scanning and if the bool was set, then kick of the
> >    qemu_irq_pulse.
> > 
> > Then if the other events are triggered we can just check the
> > gpe_state.cpus_state against what XenBus thinks and if they
> > are the same just return without doing the qemu_irq_pulse.
> > 
> > Thoughts?
> > 
>