svm_nmi_blocked
KASSERT(svm_nmi_blocked(sc, vcpu), ("vNMI already unblocked"));
ASSERT(!svm_nmi_blocked(sc, vcpu));
if (vm_nmi_pending(sc->vm, vcpu) && !svm_nmi_blocked(sc, vcpu)) {
!svm_nmi_blocked(sc, vcpu)) {