Searched refs:guest_bndcfgs (Results 1 – 6 of 6) sorted by relevance
63 u64 guest_bndcfgs; member246 CHECK_OFFSET(guest_bndcfgs, 248); in vmx_check_vmcs12_offsets()
64 FIELD64(GUEST_BNDCFGS, guest_bndcfgs),
127 EVMCS1_FIELD(GUEST_BNDCFGS, guest_bndcfgs,
1738 vmcs12->guest_bndcfgs = evmcs->guest_bndcfgs; in copy_enlightened_to_vmcs12()1940 evmcs->guest_bndcfgs = vmcs12->guest_bndcfgs; in copy_vmcs12_to_enlightened()2407 vmcs_write64(GUEST_BNDCFGS, vmcs12->guest_bndcfgs); in prepare_vmcs02_rare()3017 (CC(is_noncanonical_address(vmcs12->guest_bndcfgs & PAGE_MASK, vcpu)) || in nested_vmx_check_guest_state()3018 CC((vmcs12->guest_bndcfgs & MSR_IA32_BNDCFGS_RSVD)))) in nested_vmx_check_guest_state()4050 vmcs12->guest_bndcfgs = vmcs_read64(GUEST_BNDCFGS); in sync_vmcs02_to_vmcs12_rare()
210 u64 guest_bndcfgs; member419 *value = current_evmcs->guest_bndcfgs; in evmcs_vmread()806 current_evmcs->guest_bndcfgs = value; in evmcs_vmwrite()
561 u64 guest_bndcfgs; member
Completed in 20 milliseconds