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