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