Symbol: svm_wrmsr
usr/src/uts/intel/io/vmm/amd/svm.c
1210
res = svm_wrmsr(svm_sc, vcpu, ecx, val);
usr/src/uts/intel/io/vmm/amd/svm_msr.h
38
vm_msr_result_t svm_wrmsr(struct svm_softc *, int, uint32_t, uint64_t);