Symbol: vmx_disable
sys/amd64/vmm/intel/vmx.c
623
smp_rendezvous(NULL, vmx_disable, NULL, NULL);
sys/amd64/vmm/intel/vmx.c
658
vmx_disable(NULL);