ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 09:46:20 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

base-sel4: implement clean cache operations

Browse Source 
This commit uses the seL4_BenchmarkFlushCaches syscall to partly implement
cache maintaince for this kernel.

Ref genodelabs/genode#4651
This commit is contained in:
Stefan Kalkowski 2022-10-31 11:53:13 +01:00 committed by Christian Helmuth
parent a670c2a674
commit d8d9f94075
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/base-sel4/src/lib/base/arm/cache.cc
View File

@ -14,15 +14,19 @@
#include <base/log.h>
#include <cpu/cache.h>
/* seL4 includes */
#include <sel4/arch/syscalls.h>
void Genode::cache_coherent(Genode::addr_t, Genode::size_t)
{
error(__func__, " not implemented for this kernel!");
seL4_BenchmarkFlushCaches();
}
void Genode::cache_clean_invalidate_data(Genode::addr_t, Genode::size_t)
{
error(__func__, " not implemented for this kernel!");
seL4_BenchmarkFlushCaches();
}