1 /*
2  * Copyright (c) 2020 Intel Corporation
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #include <zephyr/random/random.h>
8 #include <zephyr/internal/syscall_handler.h>
9 
z_vrfy_sys_rand_get(void * dst,size_t len)10 static inline void z_vrfy_sys_rand_get(void *dst, size_t len)
11 {
12 	K_OOPS(K_SYSCALL_MEMORY_WRITE(dst, len));
13 
14 	z_impl_sys_rand_get(dst, len);
15 }
16 #include <zephyr/syscalls/sys_rand_get_mrsh.c>
17 
18 #ifdef CONFIG_CSPRNG_ENABLED
z_vrfy_sys_csrand_get(void * dst,size_t len)19 static inline int z_vrfy_sys_csrand_get(void *dst, size_t len)
20 {
21 	K_OOPS(K_SYSCALL_MEMORY_WRITE(dst, len));
22 
23 	return z_impl_sys_csrand_get(dst, len);
24 }
25 #include <zephyr/syscalls/sys_csrand_get_mrsh.c>
26 #endif
27