Searched refs:debug_ctl (Results 1 – 1 of 1) sorted by relevance
10650 u64 run_flags, debug_ctl; in vcpu_enter_guest() local10934 debug_ctl = get_debugctlmsr(); in vcpu_enter_guest()10935 if ((debug_ctl ^ vcpu->arch.host_debugctl) & kvm_x86_ops.HOST_OWNED_DEBUGCTL && in vcpu_enter_guest()10938 vcpu->arch.host_debugctl = debug_ctl; in vcpu_enter_guest()