--- zzzz-none-000/linux-2.6.39.4/include/linux/printk.h	2011-08-03 19:43:28.000000000 +0000
+++ puma6-atom-6490-729/linux-2.6.39.4/include/linux/printk.h	2021-11-10 13:38:17.000000000 +0000
@@ -81,7 +81,7 @@
  * gcc's format and side-effect checking.
  */
 static inline __attribute__ ((format (printf, 1, 2)))
-int no_printk(const char *fmt, ...)
+int no_printk(const char *fmt __attribute__((unused)), ...)
 {
 	return 0;
 }
@@ -98,6 +98,19 @@
 asmlinkage __attribute__ ((format (printf, 1, 2))) __cold
 int printk(const char *fmt, ...);
 
+#ifdef CONFIG_AVM_DEBUG
+asmlinkage __attribute__ ((format (printf, 1, 0)))
+int vprintk_avm(const char *fmt, va_list args);
+
+asmlinkage __attribute__ ((format (printf, 1, 2))) __cold
+int printk_linux(const char *fmt, ...);
+
+int printk_avm_console_bend(unsigned int activate);
+#define  __printk(args...)   printk_linux(args)
+#endif/*--- #ifdef CONFIG_AVM_DEBUG ---*/
+#ifdef CONFIG_TFFS_PANIC_LOG
+unsigned long printk_get_buffer(char **p_log_buf, unsigned long *p_log_end, unsigned long *p_anzahl);
+#endif/*--- #ifdef CONFIG_TFFS_PANIC_LOG ---*/
 /*
  * Please don't use printk_ratelimit(), because it shares ratelimiting state
  * with all other unrelated printk_ratelimit() callsites.  Instead use
@@ -124,6 +137,9 @@
 {
 	return 0;
 }
+#ifdef CONFIG_AVM_DEBUG
+#define  printk_linux(const char *s, ...)   0
+#endif/*--- #ifdef CONFIG_AVM_DEBUG ---*/
 static inline int printk_ratelimit(void)
 {
 	return 0;