Searched refs:host_debugctl (Results 1 – 6 of 6) sorted by relevance
421 val |= vcpu->arch.host_debugctl & VMX_HOST_OWNED_DEBUGCTL_BITS; in vmx_guest_debugctl_write()434 if (!((val ^ vcpu->arch.host_debugctl) & VMX_HOST_OWNED_DEBUGCTL_BITS)) in vmx_reload_guest_debugctl()
1100 if (vcpu->arch.host_debugctl & ~TDX_DEBUGCTL_PRESERVED) in tdx_vcpu_run()1101 update_debugctlmsr(vcpu->arch.host_debugctl); in tdx_vcpu_run()
7519 if (vcpu->arch.host_debugctl) in vmx_vcpu_run()7520 update_debugctlmsr(vcpu->arch.host_debugctl); in vmx_vcpu_run()
4265 vcpu->arch.host_debugctl != svm->vmcb->save.dbgctl) in svm_vcpu_run()4296 vcpu->arch.host_debugctl != svm->vmcb->save.dbgctl) in svm_vcpu_run()4297 update_debugctlmsr(vcpu->arch.host_debugctl); in svm_vcpu_run()
805 u64 host_debugctl; member
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()