sfi_init 1251 arch/x86/kernel/setup.c sfi_init(); sfi_init 177 include/linux/sfi.h extern void __init sfi_init(void);