Searched refs:msr_host_bndcfgs (Results 1 – 1 of 1) sorted by relevance
559 u64 msr_host_bndcfgs; member1933 rdmsrl(MSR_IA32_BNDCFGS, vmx->host_state.msr_host_bndcfgs); in vmx_save_host_state()1971 if (vmx->host_state.msr_host_bndcfgs) in __vmx_load_host_state()1972 wrmsrl(MSR_IA32_BNDCFGS, vmx->host_state.msr_host_bndcfgs); in __vmx_load_host_state()