Lines Matching refs:XEN_LAZY_MMU
237 xen_mc_issue(XEN_LAZY_MMU); in xen_set_pmd_hyper()
271 if (xen_get_lazy_mode() != XEN_LAZY_MMU) in xen_batched_set_pte()
280 xen_mc_issue(XEN_LAZY_MMU); in xen_batched_set_pte()
327 xen_mc_issue(XEN_LAZY_MMU); in xen_ptep_modify_prot_commit()
421 xen_mc_issue(XEN_LAZY_MMU); in xen_set_pud_hyper()
501 xen_mc_issue(XEN_LAZY_MMU); in xen_set_p4d_hyper()
533 xen_mc_issue(XEN_LAZY_MMU); in xen_set_p4d()
1247 xen_mc_issue(XEN_LAZY_MMU); in xen_flush_tlb()
1267 xen_mc_issue(XEN_LAZY_MMU); in xen_flush_tlb_one_user()
1304 xen_mc_issue(XEN_LAZY_MMU); in xen_flush_tlb_multi()
1560 xen_mc_issue(XEN_LAZY_MMU); in xen_alloc_ptpage()
1590 xen_mc_issue(XEN_LAZY_MMU); in xen_release_ptpage()
2085 enter_lazy(XEN_LAZY_MMU); in xen_enter_lazy_mmu()
2092 if (xen_get_lazy_mode() == XEN_LAZY_MMU) { in xen_flush_lazy_mmu()
2124 leave_lazy(XEN_LAZY_MMU); in xen_leave_lazy_mmu()
2402 xen_mc_issue(XEN_LAZY_MMU); in xen_flush_tlb_all()