Lines Matching refs:XEN_LAZY_MMU
282 xen_mc_issue(XEN_LAZY_MMU); in xen_set_pmd_hyper()
316 if (xen_get_lazy_mode() != XEN_LAZY_MMU) in xen_batched_set_pte()
325 xen_mc_issue(XEN_LAZY_MMU); in xen_batched_set_pte()
372 xen_mc_issue(XEN_LAZY_MMU); in xen_ptep_modify_prot_commit()
466 xen_mc_issue(XEN_LAZY_MMU); in xen_set_pud_hyper()
546 xen_mc_issue(XEN_LAZY_MMU); in xen_set_p4d_hyper()
578 xen_mc_issue(XEN_LAZY_MMU); in xen_set_p4d()
1299 xen_mc_issue(XEN_LAZY_MMU); in xen_flush_tlb()
1319 xen_mc_issue(XEN_LAZY_MMU); in xen_flush_tlb_one_user()
1356 xen_mc_issue(XEN_LAZY_MMU); in xen_flush_tlb_multi()
1612 xen_mc_issue(XEN_LAZY_MMU); in xen_alloc_ptpage()
1642 xen_mc_issue(XEN_LAZY_MMU); in xen_release_ptpage()
2137 enter_lazy(XEN_LAZY_MMU); in xen_enter_lazy_mmu()
2144 if (xen_get_lazy_mode() == XEN_LAZY_MMU) { in xen_flush_lazy_mmu()
2176 leave_lazy(XEN_LAZY_MMU); in xen_leave_lazy_mmu()
2459 xen_mc_issue(XEN_LAZY_MMU); in xen_flush_tlb_all()