i386/vmx/vmx_cpu.c

92 	uint64_t msr_image;
101 	msr_image = rdmsr64(MSR_IA32_FEATURE_CONTROL);
102 	if (0 == ((msr_image & MSR_IA32_FEATCTL_LOCK)))
104 			(msr_image |
120 	uint64_t msr_image;
143 	msr_image = rdmsr64(MSR_IA32_VMX_BASIC);
144 	specs->vmcs_id       = (uint32_t)(msr_image & VMX_VCR_VMCS_REV_ID);
145 	specs->vmcs_mem_type = bitfield(msr_image, VMX_VCR_VMCS_MEM_TYPE) != 0;
146 	specs->vmcs_size = bitfield(msr_image, VMX_VCR_VMCS_SIZE);
149 	msr_image = rdmsr64(MSR_IA32_VMXPINBASED_CTLS);
150 	specs->pin_exctls_0 = (uint32_t)(msr_image & 0xFFFFFFFF);
151 	specs->pin_exctls_1 = (uint32_t)(msr_image >> 32);
154 	msr_image = rdmsr64(MSR_IA32_PROCBASED_CTLS);
155 	specs->proc_exctls_0 = (uint32_t)(msr_image & 0xFFFFFFFF);
156 	specs->proc_exctls_1 = (uint32_t)(msr_image >> 32);
159 	msr_image = rdmsr64(MSR_IA32_VMX_EXIT_CTLS);
160 	specs->exit_ctls_0 = (uint32_t)(msr_image & 0xFFFFFFFF);
161 	specs->exit_ctls_1 = (uint32_t)(msr_image >> 32);
164 	msr_image = rdmsr64(MSR_IA32_VMX_ENTRY_CTLS);
165 	specs->enter_ctls_0 = (uint32_t)(msr_image & 0xFFFFFFFF);
166 	specs->enter_ctls_0 = (uint32_t)(msr_image >> 32);
169 	msr_image = rdmsr64(MSR_IA32_VMX_MISC);
170 	specs->act_halt     = bitfield(msr_image, VMX_VCR_ACT_HLT) != 0;
171 	specs->act_shutdown = bitfield(msr_image, VMX_VCR_ACT_SHUTDOWN) != 0;
172 	specs->act_SIPI     = bitfield(msr_image, VMX_VCR_ACT_SIPI) != 0;
173 	specs->act_CSTATE   = bitfield(msr_image, VMX_VCR_ACT_CSTATE) != 0;
174 	specs->cr3_targs    = bitfield(msr_image, VMX_VCR_CR3_TARGS);
175 	specs->max_msrs     = (uint32_t)(512 * (1 + bitfield(msr_image, VMX_VCR_MAX_MSRS)));
176 	specs->mseg_id      = (uint32_t)bitfield(msr_image, VMX_VCR_MSEG_ID);