__kvm_sync_page 2410 arch/x86/kvm/mmu.c return __kvm_sync_page(vcpu, sp, invalid_list); __kvm_sync_page 2593 arch/x86/kvm/mmu.c if (!__kvm_sync_page(vcpu, sp, &invalid_list))