IDT_NMI
setidt(IDT_NMI, &IDTVEC(nmi), SDT_SYSIGT, SEL_KPL, 2);
[IDT_NMI] = T_RESERVED,
IDT_NMI, 0, false);
info = IDT_NMI | VMCS_INTR_T_NMI | VMCS_INTR_VALID;
KASSERT((intr_info & 0xff) == IDT_NMI, ("VM exit due "
if (type == VM_INTINFO_NMI && vector != IDT_NMI)
setidt(IDT_NMI, &IDTVEC(nmi), SDT_SYS386IGT, SEL_KPL,