Symbol: X86_BUG_TDX_PW_MCE
arch/x86/kernel/cpu/mce/core.c
258
if (boot_cpu_has_bug(X86_BUG_TDX_PW_MCE))
arch/x86/virt/vmx/tdx/tdx.c
1517
setup_force_cpu_bug(X86_BUG_TDX_PW_MCE);
arch/x86/virt/vmx/tdx/tdx.c
716
if (!boot_cpu_has_bug(X86_BUG_TDX_PW_MCE))