X86_BUG_11AP
alternative_io("movl %0, %1", "xchgl %0, %1", X86_BUG_11AP,
set_cpu_bug(c, X86_BUG_11AP);