add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/kernel/printk/printk_safe.c
..
..
@@ -9,6 +9,7 @@
9
9
 #include <linux/kdb.h>
10
10
 #include <linux/smp.h>
11
11
 #include <linux/cpumask.h>
12
+#include <linux/irq_pipeline.h>
12
13
 #include <linux/irq_work.h>
13
14
 #include <linux/printk.h>
14
15
 #include <linux/kprobes.h>
..
..
@@ -374,6 +375,8 @@
374
375
 	if (unlikely(kdb_trap_printk && kdb_printf_cpu < 0))
375
376
 		return vkdb_printf(KDB_MSGSRC_PRINTK, fmt, args);
376
377
 #endif
378
+	if (inband_unsafe())
379
+		return vprintk_nmi(fmt, args);
377
380
 
378
381
 	/*
379
382
 	 * Try to use the main logbuf even in NMI. But avoid calling console