1 // SPDX-License-Identifier: GPL-2.0
2 // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd.
3 
4 #include <linux/syscalls.h>
5 #include <asm/page.h>
6 #include <asm/cacheflush.h>
7 #include <asm/cachectl.h>
8 
SYSCALL_DEFINE3(cacheflush,void __user *,addr,unsigned long,bytes,int,cache)9 SYSCALL_DEFINE3(cacheflush,
10 		void __user *, addr,
11 		unsigned long, bytes,
12 		int, cache)
13 {
14 	switch (cache) {
15 	case BCACHE:
16 	case DCACHE:
17 		dcache_wb_range((unsigned long)addr,
18 				(unsigned long)addr + bytes);
19 		if (cache != BCACHE)
20 			break;
21 		fallthrough;
22 	case ICACHE:
23 		flush_icache_mm_range(current->mm,
24 				(unsigned long)addr,
25 				(unsigned long)addr + bytes);
26 		break;
27 	default:
28 		return -EINVAL;
29 	}
30 
31 	return 0;
32 }
33