Linux kernel bug fix: KVM: TDX: Use kvm_arch_vcpu.host_debugctl to restore the host's DEBUGCTL
Subsystem: arch/x86 (arch/x86/kvm/vmx/common.h)
Bug type: crash, severity: high
Files changed: arch/x86/kvm/vmx/common.h;arch/x86/kvm/vmx/tdx.c
Introduced by Adrian Hunter on 2025-03-14 14:20:54 -0400; fixed by Sean Christopherson on 2025-06-20 13:04:23 -0700 (lifetime: 97 days)