1 // SPDX-License-Identifier: GPL-2.0
2 // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd.
4 #include <linux/syscalls.h>
6 #include <asm/cacheflush.h>
7 #include <asm/cachectl.h>
9 SYSCALL_DEFINE3(cacheflush
,
17 flush_icache_mm_range(current
->mm
,
19 (unsigned long)addr
+ bytes
);
21 dcache_wb_range((unsigned long)addr
,
22 (unsigned long)addr
+ bytes
);