Searched refs:guest_bndcfgs (Results 1 – 3 of 3) sorted by relevance
201 u64 guest_bndcfgs; member436 *value = current_evmcs->guest_bndcfgs; in evmcs_vmread()887 current_evmcs->guest_bndcfgs = value; in evmcs_vmwrite()
1883 vmcs12->guest_bndcfgs = evmcs->guest_bndcfgs; in copy_enlightened_to_vmcs12()2107 evmcs->guest_bndcfgs = vmcs12->guest_bndcfgs; in copy_vmcs12_to_enlightened()2626 vmcs_write64(GUEST_BNDCFGS, vmcs12->guest_bndcfgs); in prepare_vmcs02_rare()3362 (CC(is_noncanonical_msr_address(vmcs12->guest_bndcfgs & PAGE_MASK, vcpu)) || in nested_vmx_check_guest_state()3363 CC((vmcs12->guest_bndcfgs & MSR_IA32_BNDCFGS_RSVD)))) in nested_vmx_check_guest_state()
2388 get_vmcs12(vcpu)->guest_bndcfgs = data; in vmx_set_msr()