Symbol: VMCB_EVENTINJ_TYPE_NMI
usr/src/uts/intel/io/vmm/amd/svm.c
1105
ctrl->eventinj = VMCB_EVENTINJ_VALID | VMCB_EVENTINJ_TYPE_NMI;
usr/src/uts/intel/io/vmm/amd/svm.c
903
CTASSERT(VMCB_EVENTINJ_TYPE_NMI == VM_INTINFO_NMI);