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;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/750ccf687ff9adbf2a16066a3a2757d0f761384c/cache.c/buggy/arch/mips/mm/cache.c