Searched refs:host_debugctl (Results 1 – 5 of 5) sorted by relevance
1100 if (vcpu->arch.host_debugctl & ~TDX_DEBUGCTL_PRESERVED) in tdx_vcpu_run()1101 update_debugctlmsr(vcpu->arch.host_debugctl); in tdx_vcpu_run()
7710 if (vcpu->arch.host_debugctl) in vmx_vcpu_run()7711 update_debugctlmsr(vcpu->arch.host_debugctl); in vmx_vcpu_run()
4359 vcpu->arch.host_debugctl != svm->vmcb->save.dbgctl) in svm_vcpu_run()4390 vcpu->arch.host_debugctl != svm->vmcb->save.dbgctl) in svm_vcpu_run()4391 update_debugctlmsr(vcpu->arch.host_debugctl); in svm_vcpu_run()
817 u64 host_debugctl; member
11368 if ((debug_ctl ^ vcpu->arch.host_debugctl) & kvm_x86_ops.HOST_OWNED_DEBUGCTL && in vcpu_enter_guest()11371 vcpu->arch.host_debugctl = debug_ctl; in vcpu_enter_guest()