Symbol: MSR_VMX_BASIC
usr/src/uts/intel/io/vmm/intel/vmcs.c
225
vmcs->identifier = VMX_BASIC_REVISION(rdmsr(MSR_VMX_BASIC));
usr/src/uts/intel/io/vmm/intel/vmx_msr.c
98
true_ctls_avail = (rdmsr(MSR_VMX_BASIC) & (1UL << 55)) != 0;