arch/x86/kvm/svm/nested.c

1258

vmcb01->control.int_ctl |= V_NMI_PENDING_MASK;

arch/x86/kvm/svm/nested.c

1260

vmcb01->control.int_ctl &= ~V_NMI_PENDING_MASK;

arch/x86/kvm/svm/nested.c

552

mask |= V_NMI_BLOCKING_MASK | V_NMI_PENDING_MASK;

arch/x86/kvm/svm/nested.c

783

if (vmcb01->control.int_ctl & V_NMI_PENDING_MASK) {

arch/x86/kvm/svm/nested.c

788

int_ctl_vmcb12_bits |= (V_NMI_PENDING_MASK |

arch/x86/kvm/svm/svm.c

3695

return !!(svm->vmcb->control.int_ctl & V_NMI_PENDING_MASK);

arch/x86/kvm/svm/svm.c

3705

if (svm->vmcb->control.int_ctl & V_NMI_PENDING_MASK)

arch/x86/kvm/svm/svm.c

3708

svm->vmcb->control.int_ctl |= V_NMI_PENDING_MASK;