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.
26 lines
597 B
26 lines
597 B
/* |
|
* Copyright (c) 2020 Intel Corporation |
|
* |
|
* SPDX-License-Identifier: Apache-2.0 |
|
*/ |
|
|
|
#include <zephyr/random/random.h> |
|
#include <zephyr/internal/syscall_handler.h> |
|
|
|
static inline void z_vrfy_sys_rand_get(void *dst, size_t len) |
|
{ |
|
K_OOPS(K_SYSCALL_MEMORY_WRITE(dst, len)); |
|
|
|
z_impl_sys_rand_get(dst, len); |
|
} |
|
#include <zephyr/syscalls/sys_rand_get_mrsh.c> |
|
|
|
#ifdef CONFIG_CSPRNG_ENABLED |
|
static inline int z_vrfy_sys_csrand_get(void *dst, size_t len) |
|
{ |
|
K_OOPS(K_SYSCALL_MEMORY_WRITE(dst, len)); |
|
|
|
return z_impl_sys_csrand_get(dst, len); |
|
} |
|
#include <zephyr/syscalls/sys_csrand_get_mrsh.c> |
|
#endif
|
|
|