diff options
Diffstat (limited to 'arch/x86/xen/mmu.c')
-rw-r--r-- | arch/x86/xen/mmu.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/arch/x86/xen/mmu.c b/arch/x86/xen/mmu.c index cb6afa4ec95c..6b98f87232ac 100644 --- a/arch/x86/xen/mmu.c +++ b/arch/x86/xen/mmu.c | |||
@@ -1119,10 +1119,8 @@ static void drop_other_mm_ref(void *info) | |||
1119 | 1119 | ||
1120 | /* If this cpu still has a stale cr3 reference, then make sure | 1120 | /* If this cpu still has a stale cr3 reference, then make sure |
1121 | it has been flushed. */ | 1121 | it has been flushed. */ |
1122 | if (percpu_read(xen_current_cr3) == __pa(mm->pgd)) { | 1122 | if (percpu_read(xen_current_cr3) == __pa(mm->pgd)) |
1123 | load_cr3(swapper_pg_dir); | 1123 | load_cr3(swapper_pg_dir); |
1124 | arch_flush_lazy_cpu_mode(); | ||
1125 | } | ||
1126 | } | 1124 | } |
1127 | 1125 | ||
1128 | static void xen_drop_mm_ref(struct mm_struct *mm) | 1126 | static void xen_drop_mm_ref(struct mm_struct *mm) |
@@ -1135,7 +1133,6 @@ static void xen_drop_mm_ref(struct mm_struct *mm) | |||
1135 | load_cr3(swapper_pg_dir); | 1133 | load_cr3(swapper_pg_dir); |
1136 | else | 1134 | else |
1137 | leave_mm(smp_processor_id()); | 1135 | leave_mm(smp_processor_id()); |
1138 | arch_flush_lazy_cpu_mode(); | ||
1139 | } | 1136 | } |
1140 | 1137 | ||
1141 | /* Get the "official" set of cpus referring to our pagetable. */ | 1138 | /* Get the "official" set of cpus referring to our pagetable. */ |