buf[2] |= ACPI_PDC_EST_CAPABILITY_SMP;
 }
 
-#define acpi_unlazy_tlb(x)
-
 #ifdef CONFIG_ACPI_NUMA
 extern cpumask_t early_cpu_possible_map;
 #define for_each_possible_early_cpu(cpu)  \
 
 extern int x86_acpi_numa_init(void);
 #endif /* CONFIG_ACPI_NUMA */
 
-#define acpi_unlazy_tlb(x)     leave_mm(x)
-
 #ifdef CONFIG_ACPI_APEI
 static inline pgprot_t arch_apei_get_mem_attribute(phys_addr_t addr)
 {
 
 static void acpi_idle_enter_bm(struct acpi_processor *pr,
                               struct acpi_processor_cx *cx)
 {
-       acpi_unlazy_tlb(smp_processor_id());
-
        /*
         * disable bus master
         * bm_check implies we need ARB_DIS
                max_cstate = 1;
 
        for (i = 1; i < ACPI_PROCESSOR_MAX_POWER && i <= max_cstate; i++) {
+               state = &acpi_idle_driver.states[count];
                cx = &pr->power.states[i];
 
                if (!cx->valid)
 
                per_cpu(acpi_cstate[count], dev->cpu) = cx;
 
-               if (lapic_timer_needs_broadcast(pr, cx)) {
-                       state = &acpi_idle_driver.states[count];
+               if (lapic_timer_needs_broadcast(pr, cx))
                        state->flags |= CPUIDLE_FLAG_TIMER_STOP;
-               }
+
+               if (cx->type == ACPI_STATE_C3)
+                       state->flags |= CPUIDLE_FLAG_TLB_FLUSHED;
 
                count++;
                if (count == CPUIDLE_STATE_MAX)