Symbol: NVMM_VCPU_EXIT_NMI_READY
sys/dev/nvmm/x86/nvmm_x86_svm.c
1775
exit->reason = NVMM_VCPU_EXIT_NMI_READY;
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2537
exit->reason = NVMM_VCPU_EXIT_NMI_READY;