Symbol: vmx_event_waitexit_disable
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1608
vmx_event_waitexit_disable(vcpu, false);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2532
vmx_event_waitexit_disable(vcpu, false);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2536
vmx_event_waitexit_disable(vcpu, true);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2875
vmx_event_waitexit_disable(vcpu, false);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2881
vmx_event_waitexit_disable(vcpu, true);