Searched refs:guest_bndcfgs (Results 1 – 3 of 3) sorted by relevance
123 EVMCS1_FIELD(GUEST_BNDCFGS, guest_bndcfgs,
469 u64 guest_bndcfgs; member634 CHECK_OFFSET(guest_bndcfgs, 248); in vmx_check_vmcs12_offsets()1145 FIELD64(GUEST_BNDCFGS, guest_bndcfgs),12065 vmcs_write64(GUEST_BNDCFGS, vmcs12->guest_bndcfgs); in prepare_vmcs02_full()12596 (is_noncanonical_address(vmcs12->guest_bndcfgs & PAGE_MASK, vcpu) || in check_vmentry_postreqs()12597 (vmcs12->guest_bndcfgs & MSR_IA32_BNDCFGS_RSVD))) in check_vmentry_postreqs()13071 vmcs12->guest_bndcfgs = vmcs_read64(GUEST_BNDCFGS); in sync_vmcs12()
697 u64 guest_bndcfgs; member
