diff options
Diffstat (limited to 'arch/i386/xen/mmu.c')
-rw-r--r-- | arch/i386/xen/mmu.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/arch/i386/xen/mmu.c b/arch/i386/xen/mmu.c index bc49ef846203..f431cf14e644 100644 --- a/arch/i386/xen/mmu.c +++ b/arch/i386/xen/mmu.c | |||
@@ -38,6 +38,7 @@ | |||
38 | * | 38 | * |
39 | * Jeremy Fitzhardinge <jeremy@xensource.com>, XenSource Inc, 2007 | 39 | * Jeremy Fitzhardinge <jeremy@xensource.com>, XenSource Inc, 2007 |
40 | */ | 40 | */ |
41 | #include <linux/sched.h> | ||
41 | #include <linux/highmem.h> | 42 | #include <linux/highmem.h> |
42 | #include <linux/bug.h> | 43 | #include <linux/bug.h> |
43 | #include <linux/sched.h> | 44 | #include <linux/sched.h> |
@@ -531,5 +532,7 @@ void xen_exit_mmap(struct mm_struct *mm) | |||
531 | drop_mm_ref(mm); | 532 | drop_mm_ref(mm); |
532 | put_cpu(); | 533 | put_cpu(); |
533 | 534 | ||
535 | spin_lock(&mm->page_table_lock); | ||
534 | xen_pgd_unpin(mm->pgd); | 536 | xen_pgd_unpin(mm->pgd); |
537 | spin_unlock(&mm->page_table_lock); | ||
535 | } | 538 | } |