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/kernel/machine_kexec_64.c
361
if (boot_cpu_has_bug(X86_BUG_TDX_PW_MCE)) {
arch/x86/virt/vmx/tdx/tdx.c
1408
setup_force_cpu_bug(X86_BUG_TDX_PW_MCE);
arch/x86/virt/vmx/tdx/tdx.c
647
if (!boot_cpu_has_bug(X86_BUG_TDX_PW_MCE))