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