Symbol: svm_enable
sys/amd64/vmm/amd/svm.c
277
smp_rendezvous(NULL, svm_enable, NULL, NULL);
sys/amd64/vmm/amd/svm.c
291
svm_enable(NULL);