V_NMI_ENABLE_MASK
vmsa->vintr_ctrl |= V_GIF_MASK | V_NMI_ENABLE_MASK;
if (CC((control->int_ctl & V_NMI_ENABLE_MASK) &&
V_NMI_ENABLE_MASK |
svm->vmcb->control.int_ctl |= V_NMI_ENABLE_MASK;
(svm->nested.ctl.int_ctl & V_NMI_ENABLE_MASK);
return !!(vmcb->control.int_ctl & V_NMI_ENABLE_MASK);