Symbol: leave_lazy
arch/x86/xen/enlighten_pv.c
438
leave_lazy(XEN_LAZY_CPU);
arch/x86/xen/mmu_pv.c
2185
leave_lazy(XEN_LAZY_MMU);