Searched refs:GUEST_BNDCFGS (Results 1 – 2 of 2) sorted by relevance
193 GUEST_BNDCFGS = 0x00002812, enumerator
682 GUEST_BNDCFGS,746 FIELD64(GUEST_BNDCFGS, guest_bndcfgs),2881 msr_info->data = vmcs_read64(GUEST_BNDCFGS); in vmx_get_msr()2962 vmcs_write64(GUEST_BNDCFGS, data); in vmx_set_msr()3512 case GUEST_BNDCFGS: in init_vmcs_shadow_fields()8097 pr_err("BndCfgS = 0x%016lx\n", vmcs_readl(GUEST_BNDCFGS)); in dump_vmcs()9912 vmcs_write64(GUEST_BNDCFGS, vmcs12->guest_bndcfgs); in prepare_vmcs02()10447 vmcs12->guest_bndcfgs = vmcs_read64(GUEST_BNDCFGS); in prepare_vmcs12()10563 vmcs_write64(GUEST_BNDCFGS, 0); in load_vmcs12_host_state()