vmcs01_guest_bndcfgs 2332 arch/x86/kvm/vmx/nested.c 		vmcs_write64(GUEST_BNDCFGS, vmx->nested.vmcs01_guest_bndcfgs);
vmcs01_guest_bndcfgs 3071 arch/x86/kvm/vmx/nested.c 		vmx->nested.vmcs01_guest_bndcfgs = vmcs_read64(GUEST_BNDCFGS);
vmcs01_guest_bndcfgs  168 arch/x86/kvm/vmx/vmx.h 	u64 vmcs01_guest_bndcfgs;