kernel/include/linux/printk.h
.. .. @@ -141,9 +141,11 @@ 141 141 #ifdef CONFIG_EARLY_PRINTK 142 142 extern asmlinkage __printf(1, 2) 143 143 void early_printk(const char *fmt, ...); 144 +extern void printk_kill(void);144 145 #else 145 146 static inline __printf(1, 2) __cold 146 147 void early_printk(const char *s, ...) { } 148 +static inline void printk_kill(void) { }147 149 #endif 148 150 149 151 #ifdef CONFIG_PRINTK_NMI