sys_cacheflush
int sys_cacheflush(uint32_t, uint32_t uint32_t);
long sys_cacheflush(void __user *, unsigned long, int);
asmlinkage int sys_cacheflush(unsigned long addr, int scope, int cache,
int sys_cacheflush(unsigned long addr, unsigned long len,
asmlinkage int sys_cacheflush(unsigned long addr, unsigned long len, int op);
__SYSCALL(__NR_cacheflush, sys_cacheflush)