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