projects
/
barrelfish
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
(parent:
808501e
)
arm: implement flush cache debug syscall
author
Simon Gerber
<simon.gerber@inf.ethz.ch>
Thu, 30 Jul 2015 14:08:27 +0000 (16:08 +0200)
committer
David Cock
<david.cock@inf.ethz.ch>
Tue, 11 Aug 2015 09:19:37 +0000 (11:19 +0200)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
kernel/arch/arm/syscall.c
patch
|
blob
|
history
diff --git
a/kernel/arch/arm/syscall.c
b/kernel/arch/arm/syscall.c
index
7ec93b6
..
596359f
100644
(file)
--- a/
kernel/arch/arm/syscall.c
+++ b/
kernel/arch/arm/syscall.c
@@
-1007,6
+1007,9
@@
static struct sysret handle_debug_syscall(int msg)
{
struct sysret retval = { .error = SYS_ERR_OK };
switch (msg) {
+ case DEBUG_FLUSH_CACHE:
+ cp15_invalidate_i_and_d_caches_fast();
+ break;
case DEBUG_CONTEXT_COUNTER_RESET:
dispatch_csc_reset();
break;