videomixer: flush L2 after CPU framebuffer write

diff --git a/software/videomixer/dvisamplerX.c b/software/videomixer/dvisamplerX.c
index 48e2b33ca39d436238231df7d44e0410ae9c6b7b..853e960c9c38e9d28997bdd13856b449a8118e8e 100644 (file)
--- a/software/videomixer/dvisamplerX.c
+++ b/software/videomixer/dvisamplerX.c
@@ -5,6 +5,7 @@
 #include <irq.h>
 #include <uart.h>
 #include <time.h>
+#include <system.h>
 #include <hw/csr.h>
 #include <hw/flags.h>
 
@@ -122,7 +123,7 @@ void dvisamplerX_disable(void)
 void dvisamplerX_clear_framebuffers(void)
 {
        memset(&dvisamplerX_framebuffers, 0, sizeof(dvisamplerX_framebuffers));
-       // TODO: empty bridge cache
+       flush_l2_cache();
 }
 
 static int dvisamplerX_d0, dvisamplerX_d1, dvisamplerX_d2;