Searched refs:request_bits (Results 1 – 1 of 1) sorted by relevance
44 static uint64_t adjust_vmx_ctrls(uint32_t msr, uint64_t request_bits) in adjust_vmx_ctrls() argument72 val64.u.hi_32 |= (msr_val.u.hi_32 & request_bits); in adjust_vmx_ctrls()83 uint64_t request_bits, msr_value; in init_vmx_msrs() local120 request_bits = VMX_PINBASED_CTLS_IRQ_EXIT in init_vmx_msrs()123 msr_value = adjust_vmx_ctrls(MSR_IA32_VMX_PINBASED_CTLS, request_bits); in init_vmx_msrs()129 request_bits = VMX_PROCBASED_CTLS_IRQ_WIN | VMX_PROCBASED_CTLS_TSC_OFF in init_vmx_msrs()144 request_bits = VMX_PROCBASED_CTLS2_EPT | VMX_PROCBASED_CTLS2_RDTSCP in init_vmx_msrs()154 request_bits = VMX_EXIT_CTLS_SAVE_DBG | VMX_EXIT_CTLS_HOST_ADDR64 in init_vmx_msrs()157 msr_value = adjust_vmx_ctrls(MSR_IA32_VMX_EXIT_CTLS, request_bits); in init_vmx_msrs()163 request_bits = VMX_ENTRY_CTLS_LOAD_DBG | VMX_ENTRY_CTLS_IA32E_MODE in init_vmx_msrs()[all …]
Completed in 4 milliseconds