Searched refs:GUEST_BNDCFGS (Results 1 – 5 of 5) sorted by relevance
/arch/x86/kvm/vmx/ |
D | vmcs12.c | 64 FIELD64(GUEST_BNDCFGS, guest_bndcfgs),
|
D | evmcs.c | 127 EVMCS1_FIELD(GUEST_BNDCFGS, guest_bndcfgs,
|
D | nested.c | 2433 vmcs_write64(GUEST_BNDCFGS, vmcs12->guest_bndcfgs); in prepare_vmcs02_rare() 2521 vmcs_write64(GUEST_BNDCFGS, vmx->nested.vmcs01_guest_bndcfgs); in prepare_vmcs02() 3388 vmx->nested.vmcs01_guest_bndcfgs = vmcs_read64(GUEST_BNDCFGS); in nested_vmx_enter_non_root_mode() 4063 case GUEST_BNDCFGS: in is_vmcs12_ext_field() 4114 vmcs12->guest_bndcfgs = vmcs_read64(GUEST_BNDCFGS); in sync_vmcs02_to_vmcs12_rare() 4339 vmcs_write64(GUEST_BNDCFGS, 0); in load_vmcs12_host_state()
|
D | vmx.c | 1899 msr_info->data = vmcs_read64(GUEST_BNDCFGS); in vmx_get_msr() 2102 vmcs_write64(GUEST_BNDCFGS, data); in vmx_set_msr() 4563 vmcs_write64(GUEST_BNDCFGS, 0); in vmx_vcpu_reset() 5897 pr_err("BndCfgS = 0x%016llx\n", vmcs_read64(GUEST_BNDCFGS)); in dump_vmcs()
|
/arch/x86/include/asm/ |
D | vmx.h | 244 GUEST_BNDCFGS = 0x00002812, enumerator
|