Symbol: svm_set_cr0
usr/src/uts/intel/io/vmm/amd/svm.c
2226
svm_set_cr0(sc, vcpu, val, false);
usr/src/uts/intel/io/vmm/amd/svm.c
863
svm_set_cr0(svm_sc, vcpu, val, true);