From 5a1fc6da604dc22b73a814e25ae91c847f79d0b2 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Mon, 7 Apr 2014 15:45:44 +0200 Subject: [PATCH] hw: rename update_region in update_data_region ref #1115 --- base-hw/src/core/kernel/core_interface.h | 6 +++--- base-hw/src/core/kernel/thread.cc | 4 ++-- base-hw/src/core/kernel/thread.h | 2 +- base-hw/src/core/ram_session_support.cc | 2 +- 4 files changed, 7 insertions(+), 7 deletions(-) diff --git a/base-hw/src/core/kernel/core_interface.h b/base-hw/src/core/kernel/core_interface.h index 3a71e3492..906e47efa 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 daf229509..065685cd0 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 0874f0e1e..4033eddda 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 150eb0220..5c78bf4a9 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()); }