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