if (bytes == 0) return 0;
asmlinkage int sys_cacheflush(unsigned long __user addr,	unsigned long bytes, unsigned int cache){	if (!access_ok(VERIFY_WRITE, (void __user *) addr, bytes))		return -EFAULT;	flush_icache_range(addr, addr + bytes);	return 0;}