paravirt_flush_lazy_mmu  661 arch/x86/include/asm/paravirt_types.h void paravirt_flush_lazy_mmu(void);
paravirt_flush_lazy_mmu 2454 arch/x86/xen/mmu_pv.c 		.flush = paravirt_flush_lazy_mmu,