Symbol: kvm_apic_nmi_wd_deliver
arch/x86/kvm/i8254.c
265
kvm_apic_nmi_wd_deliver(vcpu);
arch/x86/kvm/irq.h
117
void kvm_apic_nmi_wd_deliver(struct kvm_vcpu *vcpu);