mmu_notifier_retry 1308 arch/x86/kvm/mmu.c 	if (mmu_notifier_retry(vcpu, mmu_seq))
mmu_notifier_retry 1463 arch/x86/kvm/mmu.c 	if (mmu_notifier_retry(vcpu, mmu_seq))
mmu_notifier_retry  266 arch/x86/kvm/paging_tmpl.h 	if (mmu_notifier_retry(vcpu, vcpu->arch.update_pte.mmu_seq))
mmu_notifier_retry  432 arch/x86/kvm/paging_tmpl.h 	if (mmu_notifier_retry(vcpu, mmu_seq))