Symbol: vmx_event_waitexit_enable
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1120
vmx_event_waitexit_enable(vcpu, true);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2873
vmx_event_waitexit_enable(vcpu, false);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2879
vmx_event_waitexit_enable(vcpu, true);