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.
This commit is contained in:
Norman Feske 2024-05-24 11:17:02 +02:00 committed by Christian Helmuth
parent 16e088a34e
commit f79ff59619

View File

@ -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;
}
}