Symbol: vmcs_msr_encoding
usr/src/uts/intel/io/vmm/intel/vmcs.h
61
uint32_t vmcs_msr_encoding(uint32_t msr);
usr/src/uts/intel/io/vmm/intel/vmx.c
3299
const uint32_t vmcs_enc = vmcs_msr_encoding(msr);
usr/src/uts/intel/io/vmm/intel/vmx.c
3327
const uint32_t vmcs_enc = vmcs_msr_encoding(msr);