X86_BUG_AMD_TLB_MMATCH
set_cpu_bug(c, X86_BUG_AMD_TLB_MMATCH);
if (!static_cpu_has_bug(X86_BUG_AMD_TLB_MMATCH))