arm: implement flush cache debug syscall
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 30 Jul 2015 14:08:27 +0000 (16:08 +0200)
committerDavid 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

index 7ec93b6..596359f 100644 (file)
@@ -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;