Searched refs:host_debugctl (Results 1 – 6 of 6) sorted by relevance
419 val |= vcpu->arch.host_debugctl & VMX_HOST_OWNED_DEBUGCTL_BITS; in vmx_guest_debugctl_write()432 if (!((val ^ vcpu->arch.host_debugctl) & VMX_HOST_OWNED_DEBUGCTL_BITS)) in vmx_reload_guest_debugctl()
1061 if (vcpu->arch.host_debugctl & ~TDX_DEBUGCTL_PRESERVED) in tdx_vcpu_run()1062 update_debugctlmsr(vcpu->arch.host_debugctl); in tdx_vcpu_run()
7357 if (vcpu->arch.host_debugctl) in vmx_vcpu_run()7358 update_debugctlmsr(vcpu->arch.host_debugctl); in vmx_vcpu_run()
4302 vcpu->arch.host_debugctl != svm->vmcb->save.dbgctl) in svm_vcpu_run()4333 vcpu->arch.host_debugctl != svm->vmcb->save.dbgctl) in svm_vcpu_run()4334 update_debugctlmsr(vcpu->arch.host_debugctl); in svm_vcpu_run()
800 u64 host_debugctl; member
10932 if ((debug_ctl ^ vcpu->arch.host_debugctl) & kvm_x86_ops.HOST_OWNED_DEBUGCTL && in vcpu_enter_guest()10935 vcpu->arch.host_debugctl = debug_ctl; in vcpu_enter_guest()
Completed in 59 milliseconds