| 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 | |
|---|
| 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 | |
|---|
