add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm/include/asm/outercache.h
..
..
@@ -78,8 +78,13 @@
78
78
  */
79
79
 static inline void outer_flush_all(void)
80
80
 {
81
-	if (outer_cache.flush_all)
81
+	unsigned long flags;
82
+
83
+	if (outer_cache.flush_all) {
84
+		flags = hard_cond_local_irq_save();
82
85
 		outer_cache.flush_all();
86
+		hard_cond_local_irq_restore(flags);
87
+	}
83
88
 }
84
89
 
85
90
 /**