X86_BUG_CLFLUSH_MONITOR
alternative_input("", "clflush (%[addr])", X86_BUG_CLFLUSH_MONITOR, [addr] "a" (addr));
set_cpu_bug(c, X86_BUG_CLFLUSH_MONITOR);
alternative_input("", "clflush (%[addr])", X86_BUG_CLFLUSH_MONITOR, [addr] "a" (addr));