alternatives_patched   71 arch/x86/include/asm/alternative.h extern int alternatives_patched;
alternatives_patched  327 arch/x86/include/asm/fpu/internal.h 	WARN_ON_FPU(!alternatives_patched);
alternatives_patched   29 arch/x86/kernel/alternative.c int __read_mostly alternatives_patched;
alternatives_patched   31 arch/x86/kernel/alternative.c EXPORT_SYMBOL_GPL(alternatives_patched);
alternatives_patched  744 arch/x86/kernel/alternative.c 	alternatives_patched = 1;