--- zzzz-none-000/linux-4.19.183/kernel/printk/printk_safe.c	2021-03-24 10:07:39.000000000 +0000
+++ bcm63-7530ax-756/linux-4.19.183/kernel/printk/printk_safe.c	2023-06-28 08:54:21.000000000 +0000
@@ -25,6 +25,9 @@
 
 #include "internal.h"
 
+#if defined(CONFIG_AVM_FASTIRQ)
+#include <asm/avm_enh/avm_fiq_os.h>
+#endif
 /*
  * printk() could not take logbuf_lock in NMI context. Instead,
  * it uses an alternative implementation that temporary stores
@@ -393,6 +396,11 @@
 		return len;
 	}
 
+#if defined(CONFIG_AVM_FASTIRQ)
+	if (firq_is_avm_rte())
+		return vprintk_nmi(fmt, args);
+#endif
+
 	/* Use extra buffer in NMI when logbuf_lock is taken or in safe mode. */
 	if (this_cpu_read(printk_context) & PRINTK_NMI_CONTEXT_MASK)
 		return vprintk_nmi(fmt, args);