5 int _flush_cache(void *addr, int len, int op)
7 return syscall(SYS_cacheflush, addr, len, op);
9 weak_alias(_flush_cache, cacheflush);
13 int __cachectl(void *addr, int len, int op)
15 return syscall(SYS_cachectl, addr, len, op);
17 weak_alias(__cachectl, cachectl);