vserver 1.9.5.x5

[linux-2.6.git] / include / asm-x86_64 / mmu_context.h

diff --git a/include/asm-x86_64/mmu_context.h b/include/asm-x86_64/mmu_context.h
index 8f80f15..410bd40 100644 (file)
--- a/include/asm-x86_64/mmu_context.h
+++ b/include/asm-x86_64/mmu_context.h
@@ -40,10 +40,7 @@ static inline void switch_mm(struct mm_struct *prev, struct mm_struct *next,
                write_pda(active_mm, next);
 #endif
                set_bit(cpu, &next->cpu_vm_mask);
-               /* Re-load page tables */
-               *read_pda(level4_pgt) = __pa(next->pgd) | _PAGE_TABLE;
-               __flush_tlb();
-
+               asm volatile("movq %0,%%cr3" :: "r" (__pa(next->pgd)) : "memory");
                if (unlikely(next->context.ldt != prev->context.ldt)) 
                        load_LDT_nolock(&next->context, cpu);
        }
@@ -54,9 +51,10 @@ static inline void switch_mm(struct mm_struct *prev, struct mm_struct *next,
                        out_of_line_bug();
                if(!test_and_set_bit(cpu, &next->cpu_vm_mask)) {
                        /* We were in lazy tlb mode and leave_mm disabled 
-                        * tlb flush IPI delivery. We must flush our tlb.
+                        * tlb flush IPI delivery. We must reload CR3
+                        * to make sure to use no freed page tables.
                         */
-                       local_flush_tlb();
+                       asm volatile("movq %0,%%cr3" :: "r" (__pa(next->pgd)) : "memory");
                        load_LDT_nolock(&next->context, cpu);
                }
        }