1 /*
2  * Copyright (c) 2017 Intel Corporation
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #include <zephyr/drivers/entropy.h>
8 #include <zephyr/internal/syscall_handler.h>
9 
z_vrfy_entropy_get_entropy(const struct device * dev,uint8_t * buffer,uint16_t len)10 static inline int z_vrfy_entropy_get_entropy(const struct device *dev,
11 					     uint8_t *buffer,
12 					     uint16_t len)
13 {
14 	K_OOPS(K_SYSCALL_DRIVER_ENTROPY(dev, get_entropy));
15 	K_OOPS(K_SYSCALL_MEMORY_WRITE(buffer, len));
16 	return z_impl_entropy_get_entropy((const struct device *)dev,
17 					  (uint8_t *)buffer,
18 					  len);
19 }
20 #include <zephyr/syscalls/entropy_get_entropy_mrsh.c>
21