Symbol: vmx_enable
sys/amd64/vmm/intel/vmx.c
666
vmx_enable(NULL);
sys/amd64/vmm/intel/vmx.c
991
smp_rendezvous(NULL, vmx_enable, NULL, NULL);