vm_nmi_pending
if (vm_nmi_pending(sc->vm, vcpu) && !svm_nmi_blocked(sc, vcpu)) {
if (vm_nmi_pending(sc->vm, vcpu) &&
if (vm_nmi_pending(vmx->vm, vcpu)) {
if (vm_nmi_pending(vmx->vm, vcpu) &&
if (vm_nmi_pending(vmx->vm, vcpu))
bool vm_nmi_pending(struct vm *vm, int vcpuid);
if (vm_nmi_pending(vm, vcpuid))