1 /*
2 * Copyright (c) 2020 Intel Corporation
3 *
4 * SPDX-License-Identifier: Apache-2.0
5 */
6
7 #include <cache.h>
8 #include <syscall_handler.h>
9
z_vrfy_sys_cache_data_all(int op)10 static inline int z_vrfy_sys_cache_data_all(int op)
11 {
12 return z_impl_sys_cache_data_all(op);
13 }
14 #include <syscalls/sys_cache_data_all_mrsh.c>
15
z_vrfy_sys_cache_data_range(void * addr,size_t size,int op)16 static inline int z_vrfy_sys_cache_data_range(void *addr, size_t size, int op)
17 {
18 Z_OOPS(Z_SYSCALL_MEMORY_WRITE(addr, size));
19
20 return z_impl_sys_cache_data_range(addr, size, op);
21 }
22 #include <syscalls/sys_cache_data_range_mrsh.c>
23
z_vrfy_sys_cache_instr_all(int op)24 static inline int z_vrfy_sys_cache_instr_all(int op)
25 {
26 return z_impl_sys_cache_instr_all(op);
27 }
28 #include <syscalls/sys_cache_instr_all_mrsh.c>
29
z_vrfy_sys_cache_instr_range(void * addr,size_t size,int op)30 static inline int z_vrfy_sys_cache_instr_range(void *addr, size_t size, int op)
31 {
32 Z_OOPS(Z_SYSCALL_MEMORY_WRITE(addr, size));
33
34 return z_impl_sys_cache_instr_range(addr, size, op);
35 }
36 #include <syscalls/sys_cache_instr_range_mrsh.c>
37
