Searched refs:host_debugctl (Results 1 – 6 of 6) sorted by relevance
411 val |= vcpu->arch.host_debugctl & VMX_HOST_OWNED_DEBUGCTL_BITS; in vmx_guest_debugctl_write()424 if (!((val ^ vcpu->arch.host_debugctl) & VMX_HOST_OWNED_DEBUGCTL_BITS)) in vmx_reload_guest_debugctl()
1093 if (vcpu->arch.host_debugctl & ~TDX_DEBUGCTL_PRESERVED) in tdx_vcpu_run()1094 update_debugctlmsr(vcpu->arch.host_debugctl); in tdx_vcpu_run()
7600 if (vcpu->arch.host_debugctl) in vmx_vcpu_run()7601 update_debugctlmsr(vcpu->arch.host_debugctl); in vmx_vcpu_run()
731 u64 host_debugctl; member
4557 vcpu->arch.host_debugctl != svm->vmcb->save.dbgctl) in svm_vcpu_run()4594 vcpu->arch.host_debugctl != svm->vmcb->save.dbgctl) in svm_vcpu_run()4595 update_debugctlmsr(vcpu->arch.host_debugctl); in svm_vcpu_run()
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()