process_nmi       104 arch/x86/kvm/x86.c static void process_nmi(struct kvm_vcpu *vcpu);
process_nmi      3768 arch/x86/kvm/x86.c 	process_nmi(vcpu);
process_nmi      3859 arch/x86/kvm/x86.c 	process_nmi(vcpu);
process_nmi      8086 arch/x86/kvm/x86.c 			process_nmi(vcpu);