src/linux/cache.c

   1 #include "syscall.h"
   2
   3 #ifdef SYS_cacheflush
   4 int _flush_cache(void *addr, int len, int op)
   5 {
   6         return syscall(SYS_cacheflush, addr, len, op);
   7 }
   8 weak_alias(_flush_cache, cacheflush);
   9 #endif
  10
  11 #ifdef SYS_cachectl
  12 int __cachectl(void *addr, int len, int op)
  13 {
  14         return syscall(SYS_cachectl, addr, len, op);
  15 }
  16 weak_alias(__cachectl, cachectl);
  17 #endif