Symbol: vmx_vmcs_leave
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1140
vmx_vmcs_leave(vcpu);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2410
vmx_vmcs_leave(vcpu);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2569
vmx_vmcs_leave(vcpu);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2904
vmx_vmcs_leave(vcpu);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3008
vmx_vmcs_leave(vcpu);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3201
vmx_vmcs_leave(vcpu);