Searched refs:HOST_OWNED_DEBUGCTL (Results 1 – 3 of 3) sorted by relevance
886 .HOST_OWNED_DEBUGCTL = VMX_HOST_OWNED_DEBUGCTL_BITS,
1725 const u64 HOST_OWNED_DEBUGCTL; member
10932 if ((debug_ctl ^ vcpu->arch.host_debugctl) & kvm_x86_ops.HOST_OWNED_DEBUGCTL && in vcpu_enter_guest()