Searched refs:host_debugctl (Results 1 – 4 of 4) sorted by relevance
4387 vcpu->arch.host_debugctl != svm->vmcb->save.dbgctl) in svm_vcpu_run()4418 vcpu->arch.host_debugctl != svm->vmcb->save.dbgctl) in svm_vcpu_run()4419 update_debugctlmsr(vcpu->arch.host_debugctl); in svm_vcpu_run()
785 u64 host_debugctl; member
7506 if (vcpu->arch.host_debugctl) in vmx_vcpu_run()7507 update_debugctlmsr(vcpu->arch.host_debugctl); in vmx_vcpu_run()
10994 vcpu->arch.host_debugctl = get_debugctlmsr(); in vcpu_enter_guest()