Symbol: VMX_HOST_OWNED_DEBUGCTL_BITS
arch/x86/kvm/vmx/main.c
895
.HOST_OWNED_DEBUGCTL = VMX_HOST_OWNED_DEBUGCTL_BITS,
arch/x86/kvm/vmx/vmx.h
408
WARN_ON_ONCE(val & VMX_HOST_OWNED_DEBUGCTL_BITS);
arch/x86/kvm/vmx/vmx.h
410
val |= vcpu->arch.host_debugctl & VMX_HOST_OWNED_DEBUGCTL_BITS;
arch/x86/kvm/vmx/vmx.h
416
return vmcs_read64(GUEST_IA32_DEBUGCTL) & ~VMX_HOST_OWNED_DEBUGCTL_BITS;
arch/x86/kvm/vmx/vmx.h
423
if (!((val ^ vcpu->arch.host_debugctl) & VMX_HOST_OWNED_DEBUGCTL_BITS))
arch/x86/kvm/vmx/vmx.h
426
vmx_guest_debugctl_write(vcpu, val & ~VMX_HOST_OWNED_DEBUGCTL_BITS);