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,