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
);