Symbol: vmx_wrmsr
usr/src/uts/intel/io/vmm/intel/vmx.c
2145
res = vmx_wrmsr(vmx, vcpuid, ecx, val);
usr/src/uts/intel/io/vmm/intel/vmx_msr.h
52
vm_msr_result_t vmx_wrmsr(struct vmx *, int, uint32_t, uint64_t);