From 2f529f9b558ca1c1bd74be7437a84e4711743404 Mon Sep 17 00:00:00 2001
From: hc <hc@nodka.com>
Date: Fri, 01 Nov 2024 02:11:33 +0000
Subject: [PATCH] add xenomai
---
kernel/arch/arm/include/asm/outercache.h | 7 ++++++-
1 files changed, 6 insertions(+), 1 deletions(-)
diff --git a/kernel/arch/arm/include/asm/outercache.h b/kernel/arch/arm/include/asm/outercache.h
index 3364637..811978d 100644
--- a/kernel/arch/arm/include/asm/outercache.h
+++ b/kernel/arch/arm/include/asm/outercache.h
@@ -78,8 +78,13 @@
*/
static inline void outer_flush_all(void)
{
- if (outer_cache.flush_all)
+ unsigned long flags;
+
+ if (outer_cache.flush_all) {
+ flags = hard_cond_local_irq_save();
outer_cache.flush_all();
+ hard_cond_local_irq_restore(flags);
+ }
}
/**
--
Gitblit v1.6.2