2020-07-17 03:32:24 +08:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2020 Intel Corporation
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <cache.h>
|
|
|
|
#include <syscall_handler.h>
|
|
|
|
|
2020-12-02 19:38:58 +08:00
|
|
|
static inline int z_vrfy_sys_dcache_all(int op)
|
|
|
|
{
|
|
|
|
return z_impl_sys_dcache_all(op);
|
|
|
|
}
|
|
|
|
#include <syscalls/sys_dcache_all_mrsh.c>
|
|
|
|
|
|
|
|
static inline int z_vrfy_sys_dcache_range(void *addr, size_t size, int op)
|
2020-07-17 03:32:24 +08:00
|
|
|
{
|
|
|
|
Z_OOPS(Z_SYSCALL_MEMORY_WRITE(addr, size));
|
2020-12-02 19:38:58 +08:00
|
|
|
|
|
|
|
return z_impl_sys_dcache_range(addr, size, op);
|
2020-07-17 03:32:24 +08:00
|
|
|
}
|
2020-12-02 19:38:58 +08:00
|
|
|
#include <syscalls/sys_dcache_range_mrsh.c>
|
2020-07-17 03:32:24 +08:00
|
|
|
|
2020-12-02 19:38:58 +08:00
|
|
|
static inline int z_vrfy_sys_icache_all(int op)
|
|
|
|
{
|
|
|
|
return z_impl_sys_icache_all(op);
|
|
|
|
}
|
|
|
|
#include <syscalls/sys_icache_all_mrsh.c>
|
|
|
|
|
|
|
|
static inline int z_vrfy_sys_icache_range(void *addr, size_t size, int op)
|
2020-07-17 03:32:24 +08:00
|
|
|
{
|
|
|
|
Z_OOPS(Z_SYSCALL_MEMORY_WRITE(addr, size));
|
2020-12-02 19:38:58 +08:00
|
|
|
|
|
|
|
return z_impl_sys_icache_range(addr, size, op);
|
2020-07-17 03:32:24 +08:00
|
|
|
}
|
2020-12-02 19:38:58 +08:00
|
|
|
#include <syscalls/sys_icache_range_mrsh.c>
|