X86_BUG_F00F
clear_cpu_bug(c, X86_BUG_F00F);
set_cpu_bug(c, X86_BUG_F00F);
str_yes_no(boot_cpu_has_bug(X86_BUG_F00F)),
if (boot_cpu_has_bug(X86_BUG_F00F) && !(error_code & X86_PF_USER) &&