From f79ff59619265936a8abe036bfb9277e6312436e Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Fri, 24 May 2024 11:17:02 +0200 Subject: [PATCH] sel4: reduce cache_invalidate_data warnings Warn only once about the missing 'cache_invalidate_data' implementation to prevent the fec nic driver from spamming the log. --- repos/base-sel4/src/lib/base/arm/cache.cc | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/repos/base-sel4/src/lib/base/arm/cache.cc b/repos/base-sel4/src/lib/base/arm/cache.cc index d6697d1225..378a8ec549 100644 --- a/repos/base-sel4/src/lib/base/arm/cache.cc +++ b/repos/base-sel4/src/lib/base/arm/cache.cc @@ -32,5 +32,10 @@ void Genode::cache_clean_invalidate_data(Genode::addr_t, Genode::size_t) void Genode::cache_invalidate_data(Genode::addr_t, Genode::size_t) { - error(__func__, " not implemented for this kernel!"); + static bool warned_once; + + if (!warned_once) { + error(__func__, " not implemented for this kernel!"); + warned_once = true; + } }