Symbol: VMCB_EVENTINJ_TYPE_NMI
sys/amd64/vmm/amd/svm.c
1820
svm_eventinject(vcpu, VMCB_EVENTINJ_TYPE_NMI,
sys/amd64/vmm/amd/svm.c
942
case VMCB_EVENTINJ_TYPE_NMI:
sys/amd64/vmm/amd/svm.c
973
case VMCB_EVENTINJ_TYPE_NMI: