IDT_NMI
vector = IDT_NMI;
if (vector == IDT_NMI) {
intinfo |= IDT_NMI;
IDT_NMI | VMCS_INTR_T_NMI | VMCS_INTR_VALID);
ASSERT3U(intr_info & 0xff, ==, IDT_NMI);
if (type == VM_INTINFO_NMI && vector != IDT_NMI)
if (vector == IDT_NMI) {