--- /dev/null
+diff --git a/xen/arch/x86/acpi/cpu_idle.c b/xen/arch/x86/acpi/cpu_idle.c
+index 4bab139..839532b 100644
+--- a/xen/arch/x86/acpi/cpu_idle.c
++++ b/xen/arch/x86/acpi/cpu_idle.c
+@@ -184,10 +184,12 @@ static int acpi_idle_bm_check(void)
+ return bm_status;
+ }
+
++#if 0
+ static struct {
+ spinlock_t lock;
+ unsigned int count;
+ } c3_cpu_status = { .lock = SPIN_LOCK_UNLOCKED };
++#endif
+
+ static void acpi_processor_idle(void)
+ {
+@@ -282,6 +284,7 @@ static void acpi_processor_idle(void)
+ */
+ if ( power->flags.bm_check && power->flags.bm_control )
+ {
++#if 0
+ spin_lock(&c3_cpu_status.lock);
+ if ( ++c3_cpu_status.count == num_online_cpus() )
+ {
+@@ -292,6 +295,7 @@ static void acpi_processor_idle(void)
+ acpi_set_register(ACPI_BITREG_ARB_DISABLE, 1);
+ }
+ spin_unlock(&c3_cpu_status.lock);
++#endif
+ }
+ else if ( !power->flags.bm_check )
+ {
+@@ -323,11 +327,13 @@ static void acpi_processor_idle(void)
+
+ if ( power->flags.bm_check && power->flags.bm_control )
+ {
++#if 0
+ /* Enable bus master arbitration */
+ spin_lock(&c3_cpu_status.lock);
+ if ( c3_cpu_status.count-- == num_online_cpus() )
+ acpi_set_register(ACPI_BITREG_ARB_DISABLE, 0);
+ spin_unlock(&c3_cpu_status.lock);
++#endif
+ }
+
+ /* Re-enable interrupts */