// SPDX-License-Identifier: GPL-2.0// Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd. #include <linux/syscalls.h>#include <asm/page.h>#include <asm/cacheflush.h>#include <asm/cachectl.h> SYSCALL_DEFINE3(cacheflush,		void __user *, addr,		unsigned long, bytes,		int, cache){	switch (cache) {	case BCACHE:	case DCACHE:		dcache_wb_range((unsigned long)addr,				(unsigned long)addr + bytes);		if (cache != BCACHE)			break;		fallthrough;	case ICACHE:		flush_icache_mm_range(current->mm,				(unsigned long)addr,				(unsigned long)addr + bytes);		break;	default:		return -EINVAL;	} 	return 0;}