Searched refs:msr_value (Results 1 – 1 of 1) sorted by relevance
83 uint64_t request_bits, msr_value; in init_vmx_msrs() local158 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_EXIT_CTLS, msr_value); in init_vmx_msrs()167 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_ENTRY_CTLS, msr_value); in init_vmx_msrs()171 msr_value = msr_read(MSR_IA32_VMX_EPT_VPID_CAP); in init_vmx_msrs()180 msr_value = msr_read(MSR_IA32_VMX_CR0_FIXED0); in init_vmx_msrs()181 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_CR0_FIXED0, msr_value); in init_vmx_msrs()183 msr_value = msr_read(MSR_IA32_VMX_CR0_FIXED1); in init_vmx_msrs()186 msr_value = msr_read(MSR_IA32_VMX_CR4_FIXED0); in init_vmx_msrs()189 msr_value = msr_read(MSR_IA32_VMX_CR4_FIXED1); in init_vmx_msrs()192 msr_value = msr_read(MSR_IA32_VMX_VMCS_ENUM); in init_vmx_msrs()[all …]
Completed in 8 milliseconds