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.
32 lines
917 B
32 lines
917 B
/* |
|
* Copyright (c) 2020 Intel Corporation |
|
* |
|
* SPDX-License-Identifier: Apache-2.0 |
|
*/ |
|
|
|
#include <zephyr/cache.h> |
|
#include <zephyr/internal/syscall_handler.h> |
|
|
|
static inline int z_vrfy_sys_cache_data_flush_range(void *addr, size_t size) |
|
{ |
|
K_OOPS(K_SYSCALL_MEMORY_WRITE(addr, size)); |
|
|
|
return z_impl_sys_cache_data_flush_range(addr, size); |
|
} |
|
#include <zephyr/syscalls/sys_cache_data_flush_range_mrsh.c> |
|
|
|
static inline int z_vrfy_sys_cache_data_invd_range(void *addr, size_t size) |
|
{ |
|
K_OOPS(K_SYSCALL_MEMORY_WRITE(addr, size)); |
|
|
|
return z_impl_sys_cache_data_invd_range(addr, size); |
|
} |
|
#include <zephyr/syscalls/sys_cache_data_invd_range_mrsh.c> |
|
|
|
static inline int z_vrfy_sys_cache_data_flush_and_invd_range(void *addr, size_t size) |
|
{ |
|
K_OOPS(K_SYSCALL_MEMORY_WRITE(addr, size)); |
|
|
|
return z_impl_sys_cache_data_flush_and_invd_range(addr, size); |
|
} |
|
#include <zephyr/syscalls/sys_cache_data_flush_and_invd_range_mrsh.c>
|
|
|