Symbol: vm_nmi_pending
sys/amd64/include/vmm.h
244
int vm_nmi_pending(struct vcpu *vcpu);
sys/amd64/vmm/amd/svm.c
1781
if (vm_nmi_pending(vcpu->vcpu)) {
sys/amd64/vmm/intel/vmx.c
1511
if (vm_nmi_pending(vcpu->vcpu)) {
sys/amd64/vmm/intel/vmx.c
2638
if (vm_nmi_pending(vcpu->vcpu))
sys/amd64/vmm/vmm.c
768
if (vm_nmi_pending(vcpu))