VM_INTINFO_NMI
case VM_INTINFO_NMI:
VM_INTINFO_VALID | VM_INTINFO_NMI | 0xd);
case VM_INTINFO_NMI:
type = VM_INTINFO_NMI;
CTASSERT(VMCB_EVENTINJ_TYPE_NMI == VM_INTINFO_NMI);
if (VM_INTINFO_TYPE(intinfo) == VM_INTINFO_NMI) {
CTASSERT(VMCS_INTR_T_NMI == VM_INTINFO_NMI);
if (type == VM_INTINFO_NMI && vector != IDT_NMI)
case VM_INTINFO_NMI: