You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
36 lines
890 B
36 lines
890 B
/* |
|
* Copyright (c) 2020 Intel Corporation |
|
* |
|
* SPDX-License-Identifier: Apache-2.0 |
|
*/ |
|
|
|
#include <cache.h> |
|
#include <syscall_handler.h> |
|
|
|
static inline int z_vrfy_sys_cache_data_all(int op) |
|
{ |
|
return z_impl_sys_cache_data_all(op); |
|
} |
|
#include <syscalls/sys_cache_data_all_mrsh.c> |
|
|
|
static inline int z_vrfy_sys_cache_data_range(void *addr, size_t size, int op) |
|
{ |
|
Z_OOPS(Z_SYSCALL_MEMORY_WRITE(addr, size)); |
|
|
|
return z_impl_sys_cache_data_range(addr, size, op); |
|
} |
|
#include <syscalls/sys_cache_data_range_mrsh.c> |
|
|
|
static inline int z_vrfy_sys_cache_instr_all(int op) |
|
{ |
|
return z_impl_sys_cache_instr_all(op); |
|
} |
|
#include <syscalls/sys_cache_instr_all_mrsh.c> |
|
|
|
static inline int z_vrfy_sys_cache_instr_range(void *addr, size_t size, int op) |
|
{ |
|
Z_OOPS(Z_SYSCALL_MEMORY_WRITE(addr, size)); |
|
|
|
return z_impl_sys_cache_instr_range(addr, size, op); |
|
} |
|
#include <syscalls/sys_cache_instr_range_mrsh.c>
|
|
|