1 /*
2 * Copyright (c) 2020 Intel Corporation
3 *
4 * SPDX-License-Identifier: Apache-2.0
5 */
6
7 #include <zephyr/cache.h>
8 #include <zephyr/syscall_handler.h>
9
z_vrfy_sys_cache_data_flush_range(void * addr,size_t size)10 static inline int z_vrfy_sys_cache_data_flush_range(void *addr, size_t size)
11 {
12 Z_OOPS(Z_SYSCALL_MEMORY_WRITE(addr, size));
13
14 return z_impl_sys_cache_data_flush_range(addr, size);
15 }
16 #include <syscalls/sys_cache_data_flush_range_mrsh.c>
17
z_vrfy_sys_cache_data_invd_range(void * addr,size_t size)18 static inline int z_vrfy_sys_cache_data_invd_range(void *addr, size_t size)
19 {
20 Z_OOPS(Z_SYSCALL_MEMORY_WRITE(addr, size));
21
22 return z_impl_sys_cache_data_invd_range(addr, size);
23 }
24 #include <syscalls/sys_cache_data_invd_range_mrsh.c>
25
z_vrfy_sys_cache_data_flush_and_invd_range(void * addr,size_t size)26 static inline int z_vrfy_sys_cache_data_flush_and_invd_range(void *addr, size_t size)
27 {
28 Z_OOPS(Z_SYSCALL_MEMORY_WRITE(addr, size));
29
30 return z_impl_sys_cache_data_flush_and_invd_range(addr, size);
31 }
32 #include <syscalls/sys_cache_data_flush_and_invd_range_mrsh.c>
33
