From 37a93f53c437bec32be18872a11d62225125250f Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Tue, 19 Mar 2019 16:46:36 +0100 Subject: [PATCH] Provide Genode::cache_coherent() consistently It got lost on base-foc and also was not put into Genode namespace in the default implementation. --- repos/base-foc/lib/mk/base-foc.inc | 1 + repos/base/src/lib/base/cache.cc | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/repos/base-foc/lib/mk/base-foc.inc b/repos/base-foc/lib/mk/base-foc.inc index 5d6c42573..9985e4e32 100644 --- a/repos/base-foc/lib/mk/base-foc.inc +++ b/repos/base-foc/lib/mk/base-foc.inc @@ -3,6 +3,7 @@ include $(BASE_DIR)/lib/mk/base.inc LIBS += base-foc-common syscall-foc cxx SRC_CC += cap_map_remove.cc cap_alloc.cc +SRC_CC += cache.cc SRC_CC += thread_start.cc SRC_CC += signal_transmitter.cc signal.cc SRC_CC += stack_area_addr.cc diff --git a/repos/base/src/lib/base/cache.cc b/repos/base/src/lib/base/cache.cc index 1f344e77d..47493c042 100644 --- a/repos/base/src/lib/base/cache.cc +++ b/repos/base/src/lib/base/cache.cc @@ -17,5 +17,5 @@ * This function needs to be implemented only for base platforms with ARM * support right now, so the default implementation does nothing. */ -void cache_coherent(Genode::addr_t, Genode::size_t) { } +void Genode::cache_coherent(Genode::addr_t, Genode::size_t) { }