diff --git a/base-hw/src/core/kernel/core_interface.h b/base-hw/src/core/kernel/core_interface.h
index 3a71e34925..906e47efa6 100644
--- a/base-hw/src/core/kernel/core_interface.h
+++ b/base-hw/src/core/kernel/core_interface.h
@@ -38,7 +38,7 @@ namespace Kernel
 	constexpr Call_arg call_id_access_thread_regs()  { return 16; }
 	constexpr Call_arg call_id_route_thread_event()  { return 17; }
 	constexpr Call_arg call_id_update_pd()           { return 18; }
-	constexpr Call_arg call_id_update_region()       { return 19; }
+	constexpr Call_arg call_id_update_data_region()  { return 19; }
 	constexpr Call_arg call_id_new_pd()              { return 20; }
 	constexpr Call_arg call_id_bin_pd()              { return 21; }
 	constexpr Call_arg call_id_new_signal_receiver() { return 22; }
@@ -102,9 +102,9 @@ namespace Kernel
 	 *
 	 * Does apply only to data caches.
 	 */
-	inline void update_region(addr_t const base, size_t const size)
+	inline void update_data_region(addr_t const base, size_t const size)
 	{
-		call(call_id_update_region(), (Call_arg)base, (Call_arg)size);
+		call(call_id_update_data_region(), (Call_arg)base, (Call_arg)size);
 	}
 
 
diff --git a/base-hw/src/core/kernel/thread.cc b/base-hw/src/core/kernel/thread.cc
index daf229509d..065685cd0d 100644
--- a/base-hw/src/core/kernel/thread.cc
+++ b/base-hw/src/core/kernel/thread.cc
@@ -541,7 +541,7 @@ void Thread::_call_update_pd()
 }
 
 
-void Thread::_call_update_region()
+void Thread::_call_update_data_region()
 {
 	/* flush hardware caches */
 	Processor::flush_data_caches_by_virt_region((addr_t)user_arg_1(),
@@ -884,7 +884,7 @@ void Thread::_call()
 	case call_id_access_thread_regs():  _call_access_thread_regs(); return;
 	case call_id_route_thread_event():  _call_route_thread_event(); return;
 	case call_id_update_pd():           _call_update_pd(); return;
-	case call_id_update_region():       _call_update_region(); return;
+	case call_id_update_data_region():  _call_update_data_region(); return;
 	case call_id_new_pd():              _call_new_pd(); return;
 	case call_id_bin_pd():              _call_bin_pd(); return;
 	case call_id_new_signal_receiver(): _call_new_signal_receiver(); return;
diff --git a/base-hw/src/core/kernel/thread.h b/base-hw/src/core/kernel/thread.h
index 0874f0e1ec..4033edddac 100644
--- a/base-hw/src/core/kernel/thread.h
+++ b/base-hw/src/core/kernel/thread.h
@@ -241,7 +241,7 @@ class Kernel::Thread
 		void _call_send_request_msg();
 		void _call_send_reply_msg();
 		void _call_update_pd();
-		void _call_update_region();
+		void _call_update_data_region();
 		void _call_print_char();
 		void _call_new_signal_receiver();
 		void _call_new_signal_context();
diff --git a/base-hw/src/core/ram_session_support.cc b/base-hw/src/core/ram_session_support.cc
index 150eb0220c..5c78bf4a95 100644
--- a/base-hw/src/core/ram_session_support.cc
+++ b/base-hw/src/core/ram_session_support.cc
@@ -34,6 +34,6 @@ void Ram_session_component::_clear_ds (Dataspace_component * ds)
 	memset((void *)ds->phys_addr(), 0, ds->size());
 
 	/* make the new DS-content visible to other PDs */
-	Kernel::update_region(ds->phys_addr(), ds->size());
+	Kernel::update_data_region(ds->phys_addr(), ds->size());
 }