From f55215a8373204fa5a8dd48ab3704cf32655917b Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Tue, 10 Sep 2013 08:50:24 +0200 Subject: bsps: Fix cache manager support --- c/src/lib/libcpu/shared/include/cache.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'c/src/lib/libcpu/shared') diff --git a/c/src/lib/libcpu/shared/include/cache.h b/c/src/lib/libcpu/shared/include/cache.h index a15332b976..836b323686 100644 --- a/c/src/lib/libcpu/shared/include/cache.h +++ b/c/src/lib/libcpu/shared/include/cache.h @@ -21,10 +21,13 @@ #ifndef __LIBCPU_CACHE_h #define __LIBCPU_CACHE_h +void _CPU_cache_flush_data_range(const void *d_addr, size_t n_bytes); void _CPU_cache_flush_1_data_line(const void *d_addr); +void _CPU_cache_invalidate_data_range(const void *d_addr, size_t n_bytes); void _CPU_cache_invalidate_1_data_line(const void *d_addr); void _CPU_cache_freeze_data(void); void _CPU_cache_unfreeze_data(void); +void _CPU_cache_invalidate_instruction_range(const void *i_addr, size_t n_bytes); void _CPU_cache_invalidate_1_instruction_line(const void *d_addr); void _CPU_cache_freeze_instruction(void); void _CPU_cache_unfreeze_instruction(void); -- cgit v1.2.3