V_NMI_PENDING_MASK
vmcb01->control.int_ctl |= V_NMI_PENDING_MASK;
vmcb01->control.int_ctl &= ~V_NMI_PENDING_MASK;
mask |= V_NMI_BLOCKING_MASK | V_NMI_PENDING_MASK;
if (vmcb01->control.int_ctl & V_NMI_PENDING_MASK) {
int_ctl_vmcb12_bits |= (V_NMI_PENDING_MASK |
return !!(svm->vmcb->control.int_ctl & V_NMI_PENDING_MASK);
if (svm->vmcb->control.int_ctl & V_NMI_PENDING_MASK)
svm->vmcb->control.int_ctl |= V_NMI_PENDING_MASK;