kvm_sync_page    2425 arch/x86/kvm/mmu.c 		ret |= kvm_sync_page(vcpu, s, invalid_list);
kvm_sync_page    2525 arch/x86/kvm/mmu.c 			flush |= kvm_sync_page(vcpu, sp, &invalid_list);