Symbol: vmcs_field_encoding
usr/src/uts/intel/io/vmm/intel/vmcs.h
58
uint32_t vmcs_field_encoding(int ident);
usr/src/uts/intel/io/vmm/intel/vmx.c
3107
encoding = vmcs_field_encoding(reg);
usr/src/uts/intel/io/vmm/intel/vmx.c
3168
encoding = vmcs_field_encoding(reg);