diff options
Diffstat (limited to 'include/linux/printk.h')
-rw-r--r-- | include/linux/printk.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/linux/printk.h b/include/linux/printk.h index 18602bb3eca8..cf3eccfe1543 100644 --- a/include/linux/printk.h +++ b/include/linux/printk.h | |||
@@ -148,9 +148,13 @@ void early_printk(const char *s, ...) { } | |||
148 | #ifdef CONFIG_PRINTK_NMI | 148 | #ifdef CONFIG_PRINTK_NMI |
149 | extern void printk_nmi_enter(void); | 149 | extern void printk_nmi_enter(void); |
150 | extern void printk_nmi_exit(void); | 150 | extern void printk_nmi_exit(void); |
151 | extern void printk_nmi_direct_enter(void); | ||
152 | extern void printk_nmi_direct_exit(void); | ||
151 | #else | 153 | #else |
152 | static inline void printk_nmi_enter(void) { } | 154 | static inline void printk_nmi_enter(void) { } |
153 | static inline void printk_nmi_exit(void) { } | 155 | static inline void printk_nmi_exit(void) { } |
156 | static inline void printk_nmi_direct_enter(void) { } | ||
157 | static inline void printk_nmi_direct_exit(void) { } | ||
154 | #endif /* PRINTK_NMI */ | 158 | #endif /* PRINTK_NMI */ |
155 | 159 | ||
156 | #ifdef CONFIG_PRINTK | 160 | #ifdef CONFIG_PRINTK |