Symbol: svm_event_waitexit_enable
sys/dev/nvmm/x86/nvmm_x86_svm.c
2125
svm_event_waitexit_enable(vcpu, false);
sys/dev/nvmm/x86/nvmm_x86_svm.c
2131
svm_event_waitexit_enable(vcpu, true);
sys/dev/nvmm/x86/nvmm_x86_svm.c
781
svm_event_waitexit_enable(vcpu, true);