@@ -294,8 +294,7 @@ os_mprotect(void *addr, size_t size, int prot)
void
os_dcache_flush(void)
-{
-}
+{}
os_icache_flush(void *start, size_t len)
@@ -216,10 +216,8 @@ os_mprotect(void *addr, size_t size, int prot)