Symbol: nmi_blocked
sys/amd64/vmm/amd/svm.c
1131
KASSERT(!nmi_blocked(vcpu), ("vNMI already blocked"));
sys/amd64/vmm/amd/svm.c
1141
KASSERT(nmi_blocked(vcpu), ("vNMI already unblocked"));
sys/amd64/vmm/amd/svm.c
1782
if (nmi_blocked(vcpu)) {