paravirt_leave_lazy_mmu  660 arch/x86/include/asm/paravirt_types.h void paravirt_leave_lazy_mmu(void);
paravirt_leave_lazy_mmu 2385 arch/x86/xen/mmu_pv.c 	paravirt_leave_lazy_mmu();