kvm_apic_nmi_wd_deliver  264 arch/x86/kvm/i8254.c 			kvm_apic_nmi_wd_deliver(vcpu);
kvm_apic_nmi_wd_deliver  107 arch/x86/kvm/irq.h void kvm_apic_nmi_wd_deliver(struct kvm_vcpu *vcpu);