Index: fusl/src/linux/cache.c |
diff --git a/fusl/src/linux/cache.c b/fusl/src/linux/cache.c |
new file mode 100644 |
index 0000000000000000000000000000000000000000..3f0abc7caf16ec27697c2c0b4c050d0d17fa0a8e |
--- /dev/null |
+++ b/fusl/src/linux/cache.c |
@@ -0,0 +1,18 @@ |
+#include "syscall.h" |
+#include "libc.h" |
+ |
+#ifdef SYS_cacheflush |
+int _flush_cache(void *addr, int len, int op) |
+{ |
+ return syscall(SYS_cacheflush, addr, len, op); |
+} |
+weak_alias(_flush_cache, cacheflush); |
+#endif |
+ |
+#ifdef SYS_cachectl |
+int __cachectl(void *addr, int len, int op) |
+{ |
+ return syscall(SYS_cachectl, addr, len, op); |
+} |
+weak_alias(__cachectl, cachectl); |
+#endif |