Symbol: _vmx_vmxoff
sys/dev/nvmm/x86/nvmm_x86_vmx.c
60
int _vmx_vmxoff(void);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
69
if (__predict_false(_vmx_vmxoff() != 0)) { \