diff options
Diffstat (limited to 'arch/x86/xen/mmu.c')
-rw-r--r-- | arch/x86/xen/mmu.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/arch/x86/xen/mmu.c b/arch/x86/xen/mmu.c index 6b98f87232ac..f5f8faa4f76c 100644 --- a/arch/x86/xen/mmu.c +++ b/arch/x86/xen/mmu.c | |||
@@ -1816,6 +1816,11 @@ __init void xen_post_allocator_init(void) | |||
1816 | xen_mark_init_mm_pinned(); | 1816 | xen_mark_init_mm_pinned(); |
1817 | } | 1817 | } |
1818 | 1818 | ||
1819 | static void xen_leave_lazy_mmu(void) | ||
1820 | { | ||
1821 | xen_mc_flush(); | ||
1822 | paravirt_leave_lazy_mmu(); | ||
1823 | } | ||
1819 | 1824 | ||
1820 | const struct pv_mmu_ops xen_mmu_ops __initdata = { | 1825 | const struct pv_mmu_ops xen_mmu_ops __initdata = { |
1821 | .pagetable_setup_start = xen_pagetable_setup_start, | 1826 | .pagetable_setup_start = xen_pagetable_setup_start, |
@@ -1891,7 +1896,7 @@ const struct pv_mmu_ops xen_mmu_ops __initdata = { | |||
1891 | 1896 | ||
1892 | .lazy_mode = { | 1897 | .lazy_mode = { |
1893 | .enter = paravirt_enter_lazy_mmu, | 1898 | .enter = paravirt_enter_lazy_mmu, |
1894 | .leave = xen_leave_lazy, | 1899 | .leave = xen_leave_lazy_mmu, |
1895 | }, | 1900 | }, |
1896 | 1901 | ||
1897 | .set_fixmap = xen_set_fixmap, | 1902 | .set_fixmap = xen_set_fixmap, |