Searched refs:leave_lazy (Results 1 – 3 of 3) sorted by relevance
96 static inline void leave_lazy(enum xen_lazy_mode mode) in leave_lazy() function
392 leave_lazy(XEN_LAZY_CPU); in xen_end_context_switch()
2124 leave_lazy(XEN_LAZY_MMU); in xen_leave_lazy_mmu()