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;